nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-26 05:57:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
416,499 Commits 195 Branches 125 Tags 6.4 GiB
d4e4e6bfcc
Commit Graph

4 Commits

Author SHA1 Message Date
Vincent Laporte
0b1099dc6d
coqPackages.aac-tactics: init at 8.16.0 2022-09-08 18:07:02 +02:00
Vincent Laporte
ff32bb3cf2
coqPackages.aac-tactics: 8.13.2, 8.14.1, 8.15.1 2022-04-04 11:21:01 +02:00
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