BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
nixpkgs-suyu/pkgs/applications/science/logic/boolector
History
Simon Hollingshead f0b157a764 boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility. 
https://github.com/Boolector/boolector/compare/3.2.2...3.2.3
cc13f371c0
2024-02-22 19:48:14 +00:00
..
default.nix