nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-16 02:33:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
04b234e995
nixpkgs/pkgs/applications/science/logic/sad
History
Silvan Mosberger e710f80018
sad: fix build
2018-08-09 22:13:44 +02:00
..
default.nix sad: fix build 2018-08-09 22:13:44 +02:00
monoid.patch sad: fix build 2018-08-09 22:13:44 +02:00
patch system for automated deduction: init at 2.3-25 2015-11-27 15:12:09 +00:00