mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
Code Issues Wiki Activity
nixpkgs/pkgs/applications/science/logic/twelf
History
Dan Peebles f285ce8fed twelf: fix emacs mode
2016-09-08 23:12:32 -04:00
..
default.nix twelf: fix emacs mode 2016-09-08 23:12:32 -04:00