public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/cedille
History
Mario Rodas 7a965dcdab cedille: 1.0.0 -> 1.1.1 (#60307) 2019-04-29 21:02:44 +02:00
..
default.nix cedille: 1.0.0 -> 1.1.1 (#60307) 2019-04-29 21:02:44 +02:00