nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 15:33:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
a58bfa1150
nixpkgs/pkgs/applications/science/logic/alt-ergo
History
R. Ryantm f9cb16590a alt-ergo: 2.5.3 -> 2.5.4
2024-05-13 21:51:10 -05:00
..
default.nix alt-ergo: 2.5.3 -> 2.5.4 2024-05-13 21:51:10 -05:00