about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/verit
AgeCommit message (Expand)AuthorFilesLines
2022-06-22veriT: Fix build on macosHernan Rajchert1-1/+0
2022-05-29treewide: pkgs/applications: mark broken for darwinRick van Schijndel1-0/+1
2021-12-31verit: 2016 -> 2021.06.2Jan van Brügge1-4/+4
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-08-22Revert "treewide: fixup breakage due to absolute compiler path"Matthew Bauer1-5/+0
2018-08-21treewide: fixup breakage due to absolute compiler pathVladimír Čunát1-0/+5
2017-02-01veriT: 201506 -> 2016Gabriel Ebner1-3/+3
2016-05-08veriT: disable broken static linkingGabriel Ebner1-0/+3
2015-08-26veriT: 201410 -> 201506Gabriel Ebner1-11/+8
2015-03-31Add veriT.Gabriel Ebner1-0/+31