aboutsummaryrefslogtreecommitdiff
path: root/licenses/cc0.txt
diff options
context:
space:
mode:
Diffstat (limited to 'licenses/cc0.txt')
0 files changed, 0 insertions, 0 deletions
macs-agda2-mode: No longer inherit from agda....Josselin Poiret 2023-06-04gnu: agda: Build info manual....Josselin Poiret 2023-06-04gnu: agda: Update to 2.6.3 and switch to git-fetch....Josselin Poiret 2023-02-26gnu: Use HACKAGE-URI for packages from Hackage....Lars-Dominik Braun 2023-02-26gnu: Add upstream-name property to Haskell packages....Lars-Dominik Braun 2023-02-16gnu: Remove unneeded module imports....Efraim Flashner 2022-05-12gnu: agda.scm: Add missing import....Efraim Flashner 2022-05-08gnu: agda: Use G-expressions....Tobias Geerinckx-Rice 2022-05-08gnu: agda: Update to 2.6.2.2....Tobias Geerinckx-Rice