nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-30 17:43:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
360,134 Commits 184 Branches 125 Tags 9.8 GiB
63b8e48f75
Commit Graph

2 Commits

Author SHA1 Message Date
Théo Zimmermann
3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Ben Siraphob
915abd3f08 coqPackages.aac-tactics: init 2021-05-17 10:17:18 +02:00