1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 17:41:12 +00:00
nixpkgs/pkgs/applications/science/logic/twelf
2016-09-08 23:12:32 -04:00
..
default.nix twelf: fix emacs mode 2016-09-08 23:12:32 -04:00