| 6176fcae | gnu: agda-stdlib: Update to 2.3. | Mark Walker | 2026-02-26 12:08 |
| 8f95bc17 | gnu: emacs-agda2-mode: Use '#:lisp-directory'. | Morgan Smith | 2025-06-15 14:56 |
| bea5e1e2 | gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. | Josselin Poiret | 2024-10-12 09:12 |
| fd299f58 | gnu: agda-cubical: Update to 0.7. | Josselin Poiret | 2024-10-12 09:12 |
| 2419302c | gnu: agda-categories: Update to 0.2.0. | Josselin Poiret | 2024-10-12 09:12 |
| 402a3a4e | gnu: agda-stdlib: Update to 2.1.13 | Josselin Poiret | 2024-10-12 09:12 |
| 96c490e0 | gnu: agda: Update to 2.7.0.1. | Josselin Poiret | 2024-10-12 09:12 |
| 6515a705 | gnu: agda: Fix build. | 宋文武 | 2024-08-31 08:45 |
| bd0f2173 | gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280. | Josselin Poiret | 2023-11-14 12:47 |
| c5c2a820 | gnu: agda-cubical: Update to 0.6. | Josselin Poiret | 2023-11-14 12:47 |
| 5f4b3ccf | gnu: agda-categories: Adapt to agda-stdlib 1.7.3. | Josselin Poiret | 2023-11-14 12:47 |
| 7374e14f | gnu: agda-stdlib: Update to 1.7.3. | Josselin Poiret | 2023-11-14 12:30 |
| a5217573 | gnu: agda: Update to 2.6.4. | Josselin Poiret | 2023-11-14 12:30 |
| cdc82b2f | gnu: agda-cubical: Add source file-name. | Efraim Flashner | 2023-10-11 05:14 |
| 3ec8acd3 | gnu: agda-cubical: Update to 0.5. | Josselin Poiret | 2023-07-22 03:29 |
| e198fe4e | gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7. | Josselin Poiret | 2023-06-04 09:04 |
| 067e75e1 | gnu: Add agda-1lab. | Josselin Poiret | 2023-06-04 08:59 |
| cf2c3f79 | gnu: Add agda-cubical. | Josselin Poiret | 2023-06-04 08:59 |
| 8203e8f3 | gnu: Add agda-categories. | Josselin Poiret | 2023-06-04 08:59 |
| c1f8bcbb | gnu: Add agda-stdlib. | Josselin Poiret | 2023-06-04 08:59 |
| 7a00ab05 | gnu: agda: Add AGDA_LIBDIRS search-path. | Josselin Poiret | 2023-06-04 08:59 |
| ae29c9d2 | gnu: emacs-agda2-mode: Switch to G-Exps. | Josselin Poiret | 2023-06-04 08:59 |
| fe6c31e3 | gnu: emacs-agda2-mode: No longer inherit from agda. | Josselin Poiret | 2023-06-04 08:59 |
| 789db27c | gnu: agda: Build info manual. | Josselin Poiret | 2023-06-04 08:59 |
| af5d228b | gnu: agda: Update to 2.6.3 and switch to git-fetch. | Josselin Poiret | 2023-06-04 08:59 |
| 7df09ee0 | Merge remote-tracking branch 'savannah/master' into core-updates | Christopher Baines | 2023-03-02 10:55 |
| 8c3e9da1 | Merge branch 'master' into core-updates | Ludovic Courtès | 2022-06-08 12:46 |
| 6ccf8ea8 | Merge branch 'master' into core-updates | Efraim Flashner | 2021-12-19 13:15 |
| 17dddeee | Merge remote-tracking branch 'origin/master' into core-updates | Mathieu Othacehe | 2020-08-26 16:35 |
| 0d2753cc | gnu: agda: Use HTTPS home page. | Tobias Geerinckx-Rice | 2020-03-16 15:32 |