diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2018-05-03 00:58:11 -0500 |
|---|---|---|
| committer | Matthew Bauer <mjbauer95@gmail.com> | 2018-05-03 13:09:20 -0500 |
| commit | 143978a477e4891bd94be6d9fcf257f726b403cd (patch) | |
| tree | b93f545ca15d5dd7410e7ec13be3df1709b935c6 /pkgs/applications/science/logic/verifast/default.nix | |
| parent | 3216cf6cdf5a9d0e77af10add1a9cd5c0d6106c2 (diff) | |
| download | nixlib-143978a477e4891bd94be6d9fcf257f726b403cd.tar nixlib-143978a477e4891bd94be6d9fcf257f726b403cd.tar.gz nixlib-143978a477e4891bd94be6d9fcf257f726b403cd.tar.bz2 nixlib-143978a477e4891bd94be6d9fcf257f726b403cd.tar.lz nixlib-143978a477e4891bd94be6d9fcf257f726b403cd.tar.xz nixlib-143978a477e4891bd94be6d9fcf257f726b403cd.tar.zst nixlib-143978a477e4891bd94be6d9fcf257f726b403cd.zip | |
treewide: remove platform assertions
linux: readd assertion
Diffstat (limited to 'pkgs/applications/science/logic/verifast/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/verifast/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/verifast/default.nix b/pkgs/applications/science/logic/verifast/default.nix index 8229af9649f8..22eb5d07f1c1 100644 --- a/pkgs/applications/science/logic/verifast/default.nix +++ b/pkgs/applications/science/logic/verifast/default.nix @@ -1,7 +1,6 @@ { stdenv, fetchurl, gtk2, gdk_pixbuf, atk, pango, glib, cairo, freetype , fontconfig, libxml2, gnome2 }: -assert stdenv.isLinux; let libPath = stdenv.lib.makeLibraryPath |