nixpkgs/pkgs/applications/science/logic/alt-ergo at 0a1167fd0b00ef435c69df810d6873d2e3317e27 - alioth/nixpkgs - Alioth Systems Laboratories

alioth/nixpkgs

forked from mirrors/nixpkgs

History

Vincent Laporte 35dfa0e927 alt-ergo: 2.3.3 → 2.4.0		2021-04-26 08:32:18 +02:00
..
default.nix