ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-27 07:37:47 +03:00
Code Issues Projects Releases Wiki Activity
51,716 Commits 96 Branches 102 Tags 4.3 GiB
f100b7221a
Commit Graph

2 Commits

Author SHA1 Message Date
Mateusz Kowalczyk
270c7f0622 agda-sheaves: use lib.licenses 2014-09-11 19:51:24 +01:00
Mateusz Kowalczyk
d084f40c01 agda: add Agda-Sheaves 2014-09-11 18:49:28 +01:00