summary refs log tree commit diff
path: root/pkgs/applications/science/logic/verit/default.nix
Commit message (Expand)AuthorAge
* veriT: Fix build on macosHernan Rajchert2022-06-22
* treewide: pkgs/applications: mark broken for darwinRick van Schijndel2022-05-29
* verit: 2016 -> 2021.06.2Jan van Brügge2021-12-31
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: remove redundant recvolth2019-08-28
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* Revert "treewide: fixup breakage due to absolute compiler path"Matthew Bauer2018-08-22
* treewide: fixup breakage due to absolute compiler pathVladimír Čunát2018-08-21
* veriT: 201506 -> 2016Gabriel Ebner2017-02-01
* veriT: disable broken static linkingGabriel Ebner2016-05-08
* veriT: 201410 -> 201506Gabriel Ebner2015-08-26
* Add veriT.Gabriel Ebner2015-03-31