public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
936bc23b414e562da9fd8ce5e3e360929d25262c
nixpkgs/pkgs/applications/science/logic/lean
History
Gabriel Ebner 74a97421ce lean: 2016-12-30 -> 2017-01-06
2017-01-06 11:57:40 +01:00
..
default.nix
lean: 2016-12-30 -> 2017-01-06
2017-01-06 11:57:40 +01:00