public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
nsd-state-dir
nixpkgs/pkgs/applications/science/logic/alt-ergo
T
History
Vincent Laporte 564cb4d81d alt-ergo: 2.4.0 → 2.4.1 
(cherry picked from commit 0abc796ce281eeb737039c12613734d33611658b)
2021-10-13 10:50:22 +02:00
..
default.nix
alt-ergo: 2.4.0 → 2.4.1
2021-10-13 10:50:22 +02:00