mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2024-02-15	Merge pull request #288470 from McSinyx/stp-u8	Pol Dellaiera	2	-1/+23
2024-02-13	stp: fix build failure	Nguyễn Gia Phong	2	-1/+23
2024-02-09	stp: fix the build against `gcc-13`	Sergei Trofimovich	1	-0/+8
2021-01-11	treewide: with stdenv.lib; in meta -> with lib;	Profpatsch	1	-2/+2
2021-01-03	treewide: remove enableParallelBuilding = true if using cmake	Ben Siraphob	1	-3/+0
2019-12-30	minisat: 2.2.0 -> 2.2.1	Franz Pletz	1	-2/+3
2019-08-26	stp: 2.2.0 -> 2.3.3	Jonathan Ringer	1	-7/+6
2018-01-17	maintainers: remove mornfall from packages	Yegor Timoshenko	1	-1/+1
2017-12-07	stp: disable parallel building	Orivej Desh	1	-0/+4
2017-05-22	stp: 2014.01.07 -> 2.2.0	Jörg Thalheim	3	-254/+26
2015-05-28	Don't use "with licenses;" for single licences	Tobias Geerinckx-Rice	1	-1/+1
2014-11-02	boost: Remove boost.lib	William A. Kennington III	1	-1/+1
2014-09-21	boost: Update depdendent packages	William A. Kennington III	1	-1/+1
2014-01-25	STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).	Petr Rockai	3	-0/+260