diff options
| author | Peter Hoeg <peter@hoeg.com> | 2017-10-10 17:18:33 +0800 |
|---|---|---|
| committer | Peter Hoeg <peter@hoeg.com> | 2017-10-10 17:18:38 +0800 |
| commit | ef1cb94d78735040308a32934382938b9280b5bb (patch) | |
| tree | aa170148530cec3be875a8f891f5c93a7351e714 /pkgs/applications/science/logic/isabelle/default.nix | |
| parent | b9d276bf4c9169481aefa9335cdd9e2ac6668aa0 (diff) | |
| download | nixpkgs-ef1cb94d78735040308a32934382938b9280b5bb.tar nixpkgs-ef1cb94d78735040308a32934382938b9280b5bb.tar.gz nixpkgs-ef1cb94d78735040308a32934382938b9280b5bb.tar.bz2 nixpkgs-ef1cb94d78735040308a32934382938b9280b5bb.tar.lz nixpkgs-ef1cb94d78735040308a32934382938b9280b5bb.tar.xz nixpkgs-ef1cb94d78735040308a32934382938b9280b5bb.tar.zst nixpkgs-ef1cb94d78735040308a32934382938b9280b5bb.zip | |
netalyzr: use makeWrapper i/o custom script
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
0 files changed, 0 insertions, 0 deletions