dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
a24b5378d5
nixpkgs/pkgs/applications/science/logic/easycrypt
History
Vincent Laporte c777cdf5c5 easycrypt-runtest: init at 2022.04
2022-05-05 06:57:50 +02:00
..
default.nix
runtest.nix