summary refs log tree commit diff
path: root/pkgs/applications/science/logic/verifast/default.nix
Commit message (Expand)AuthorAge
* treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott2022-06-23
* verifast: 19.12 -> 21.04R. RyanTM2021-08-23
* treewide: fix redirected URLsBen Siraphob2021-08-01
* verifast: deprecate phasesFelix Buehler2021-07-14
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* verifast: change license to MITPavol Rusnak2020-04-23
* verifast: 18.02 -> 19.12R. RyanTM2020-02-09
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* gdk-pixbuf: rename from gdk_pixbufworldofpeace2019-07-22
* treewide: remove platform assertionsMatthew Bauer2018-05-03
* verifast: 14.5 -> 18.02 (#39480)Michiel Derhaeg2018-04-25
* treewide: explicitly specify gtk and related package versionsKirill Boltaev2016-09-12
* replace ${stdenv.cc.cc}/lib occurencesNikolay Amiantov2016-05-01
* rename all occurrences of stdenv.cc.gcc to stdenv.cc.ccEric Seidel2015-01-14
* Change occurrences of gcc to the more general ccJohn Wiegley2014-12-26
* Fix various evaluation problemsEelco Dolstra2014-08-22
* verifast: 14.5, x86_64 linux onlyAustin Seipp2014-06-10
* z3/verifast: update licenseAustin Seipp2014-05-01
* nixpkgs: verifast 13.11.14Austin Seipp2014-04-28
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-07 06:43:42 +0000