summary refs log tree commit diff
path: root/pkgs/applications/science/logic/boolector
Commit message (Expand)AuthorAge
* boolector: add patch fixing build on aarch64-linuxRobert Scott2021-11-13
* boolector: 3.2.1 -> 3.2.2Guillaume Girol2021-07-19
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* boolector: fix darwin buildArtur Cygan2020-11-29
* boolector: 3.0.0 -> 3.2.1Symphorien Gibol2020-06-08
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* boolector: add patch for CVE-2019-7560Robert Scott2019-12-12
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* boolector: 2.4.1 -> 3.0.0, relicensed to MITAustin Seipp2018-08-15
* boolector: patch usage of ar and ranlib for crossWill Dietz2018-02-13
* boolector: fix missing stdint.h includeWill Dietz2018-02-13
* boolector: 1.{5,6} -> 2.4.1Symphorien Gibol2017-07-18
* treewide: fix darwin builds by using getOutputRobin Gloster2016-08-25
* treewide: fix darwin builds by referring to stdenv's libcFranz Pletz2016-08-25
* boolector: fix build with multiple outputsRobin Gloster2016-08-24
* boolector: add version 1.5 and 1.6Austin Seipp2014-04-07
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-25 20:21:28 +0000