public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/elan
History
Gabriel Ebner 8428f5bb4a elan: v0.8.0 tag was force-pushed by upstream 2020-03-06 15:35:37 +01:00
..
default.nix elan: v0.8.0 tag was force-pushed by upstream 2020-03-06 15:35:37 +01:00