nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-02 03:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
9fd50e6955
nixpkgs/pkgs/applications/science/logic/tptp
History
Gabriel Ebner b1c149d47a tptp: use urls instead of url 
nix-prefetch-url breaks if the url argument to fetchurl is a list.
2018-11-15 15:56:18 +01:00
..
default.nix tptp: use urls instead of url 2018-11-15 15:56:18 +01:00