Skip to site navigation (Press enter)

bug#35178: Agda doesn't build

Andreas Enge Sun, 26 May 2019 23:12:01 -0700

So closing this bug. Thanks,

Andreas

Previous message
View by thread
View by date
Next message

bug#35178: Agda doesn't build Pronaip
- bug#35178: Agda doesn't build Ludovic Courtès
- - bug#35178: Agda doesn't build Pronaip
  - - bug#35178: Agda doesn't build Ludovic Courtès
    - - bug#35178: Agda doesn't build Pronaip
      - bug#35178: Agda doesn't build Andreas Enge

Reply via email to

Search the site

The Mail Archive home
bug-guix - all messages
bug-guix - about the list
Expand
Previous message
Next message

The Mail Archive home
Add your mailing list
FAQ
Support
Privacy
20190527061000.GA2293@jurong