mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 05:31:22 +00: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