Age | Commit message (Expand) | Author |
2023-11-14 | gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280. | Josselin Poiret |
2023-11-14 | gnu: agda-cubical: Update to 0.6. | Josselin Poiret |
2023-11-14 | gnu: agda-categories: Adapt to agda-stdlib 1.7.3. | Josselin Poiret |
2023-11-14 | gnu: agda-stdlib: Update to 1.7.3. | Josselin Poiret |
2023-11-14 | gnu: agda: Update to 2.6.4. | Josselin Poiret |
2023-10-11 | gnu: agda-cubical: Add source file-name. | Efraim Flashner |
2023-07-22 | gnu: agda-cubical: Update to 0.5. | Josselin Poiret |
2023-06-04 | gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7. | Josselin Poiret |
2023-06-04 | gnu: Add agda-1lab. | Josselin Poiret |
2023-06-04 | gnu: Add agda-cubical. | Josselin Poiret |
2023-06-04 | gnu: Add agda-categories. | Josselin Poiret |
2023-06-04 | gnu: Add agda-stdlib. | Josselin Poiret |
2023-06-04 | gnu: agda: Add AGDA_LIBDIRS search-path. | Josselin Poiret |
2023-06-04 | gnu: emacs-agda2-mode: Switch to G-Exps. | Josselin Poiret |
2023-06-04 | gnu: emacs-agda2-mode: No longer inherit from agda. | Josselin Poiret |
2023-06-04 | gnu: agda: Build info manual. | Josselin Poiret |
2023-06-04 | gnu: agda: Update to 2.6.3 and switch to git-fetch. | Josselin Poiret |
2023-02-26 | gnu: Use HACKAGE-URI for packages from Hackage. | Lars-Dominik Braun |
2023-02-26 | gnu: Add upstream-name property to Haskell packages. | Lars-Dominik Braun |
2023-02-16 | gnu: Remove unneeded module imports. | Efraim Flashner |
2022-05-12 | gnu: agda.scm: Add missing import. | Efraim Flashner |
2022-05-08 | gnu: agda: Use G-expressions. | Tobias Geerinckx-Rice |
2022-05-08 | gnu: agda: Update to 2.6.2.2. | Tobias Geerinckx-Rice |
2021-12-17 | gnu: agda: Update to 2.6.2.1. | Tobias Geerinckx-Rice |
2021-12-13 | gnu: Simplify package inputs. | Ludovic Courtès |
2021-10-08 | gnu: Update Haskell ecosystem. | Lars-Dominik Braun |
2020-08-19 | gnu: agda: Adjust for using shared libraries. | Timothy Sample |
2020-03-16 | gnu: agda: Use HTTPS home page. | Tobias Geerinckx-Rice |
2019-11-20 | gnu: agda: Update to 2.6.0.1. | Timothy Sample |
2019-08-31 | gnu: Move non-compilers out of haskell.scm. | Robert Vollmert |
2019-08-28 | gnu: agda-ial: Fix install step. | John Soo |
2019-08-28 | gnu: agda-ial: Fetch source from Git. | Ludovic Courtès |
2019-08-28 | gnu: Add agda-ial. | John Soo |
2019-08-07 | gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml. | Robert Vollmert |
2019-02-24 | gnu: agda: Update to 2.5.4.2. | Tobias Geerinckx-Rice |
2018-10-19 | build-system/haskell: Use 'strip-store-file-name'. | Alex Vong |
2018-10-01 | gnu: agda: Fix build. | Ricardo Wurmus |
2018-10-01 | gnu: agda: Update to 2.5.4.1. | Timothy Sample |
2018-10-01 | gnu: ghc-mtl: Remove built-in Haskell package. | Timothy Sample |
2018-07-29 | gnu: Add emacs-agda2-mode | Alex ter Weele |
2018-07-29 | gnu: agda: Compile .agda files. | Alex ter Weele |
2018-02-26 | gnu: Add agda. | Alex ter Weele |