tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-30 14:01:15 +02:00
Code Activity
Files
4f963be052d8753d1c3d882dd7dc4392285cc96a
guix/gnu/packages/agda.scm
Tobias Geerinckx-Rice d9c8009832 gnu: agda: Update to 2.5.4.2. 
* gnu/packages/agda.scm (agda): Update to 2.5.4.2.
[inputs]: Remove cpphs.
2019-02-24 17:51:28 +01:00

7.2 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink