Your search for agda 2.7.0.1 is:open
Hint
Refine your search with filters like is:open, author:me, submitter:me, severity:serious, tag:easy, date:2d..now, date:2012-04-18..2022-04-18, date:1m..today, and many more!
| ID | Subject | Date submitted | Status |
|---|---|---|---|
| 62236 | build of agda-ial-1.5.0.drv failed | Fri Mar 17 10:36:24+0100 2023 | Open |
| 68315 | patchmoreinfo[PATCH 00/48] Extend bag-build to gexps. | Mon Jan 08 09:01:24+0100 2024 | Open |
| 49607 | patch[PATCH] gnu: Add Idris 2. | Sat Jul 17 17:43:25+0200 2021 | Open |
| 36511 | extraneous recompiles of scm files while editing gnu/packages/ | Fri Jul 05 16:23:25+0200 2019 | Open |
| 63728 | GHC cannot find lrt | Fri May 26 00:25:24+0200 2023 | Open |
| 68337 | patch[PATCH 0/2] Add ajam and argyllcms | Tue Jan 09 05:32:24+0100 2024 | Open |
| 71011 | [BUG] Fail to buidl latest kitty | Fri May 17 14:44:25+0200 2024 | Open |
| 43518 | (guix status) occasionally crashes when max-jobs > 1 | Sat Sep 19 19:35:24+0200 2020 | Open |