MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 15:22:59 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/applications/science/logic/matita
History
Mateusz Kowalczyk 7a45996233 Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02:00
..
130312.nix Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
configure.patch
configure_130312.patch
default.nix Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Makefile.patch