mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2021-01-11	treewide: with stdenv.lib; in meta -> with lib;	Profpatsch	1	-2/+2
2021-01-07	Merge branch 'master' into staging-next	Jan Tojnar	1	-2/+2
2021-01-06	lean: 3.23.0 -> 3.24.0	Devon Richards	1	-2/+2
2021-01-03	treewide: remove enableParallelBuilding = true if using cmake	Ben Siraphob	1	-1/+0
2020-11-11	lean: 3.21.0 -> 3.23.0	R. RyanTM	1	-2/+2
2020-11-04	lean: build olean files	Gabriel Ebner	1	-3/+7
2020-10-18	lean: 3.19.0 -> 3.21.0	R. RyanTM	1	-2/+2
2020-08-29	lean: 3.18.4 -> 3.19.0	Mario Rodas	1	-2/+2
2020-08-02	lean: 3.16.5 -> 3.18.4	R. RyanTM	1	-2/+2
2020-07-02	lean: 3.16.2 -> 3.16.5	R. RyanTM	1	-2/+2
2020-06-14	lean: 3.15.0 -> 3.16.2	R. RyanTM	1	-2/+2
2020-06-06	lean: 3.14.0 -> 3.15.0	R. RyanTM	1	-2/+2
2020-05-24	lean: 3.13.1 -> 3.14.0	R. RyanTM	1	-2/+2
2020-05-16	lean: 3.10.0 -> 3.13.1	Mario Rodas	1	-3/+8
2020-05-02	lean: 3.9.0 -> 3.10.0	Mario Rodas	1	-2/+2
2020-04-18	lean: 3.8.0 -> 3.9.0	Mario Rodas	1	-2/+2
2020-04-09	lean: 3.7.2 -> 3.8.0	Mario Rodas	1	-2/+2
2020-03-22	lean: 3.7.0 -> 3.7.2	Mario Rodas	1	-2/+2
2020-03-14	lean: 3.6.1 -> 3.7.0	Mario Rodas	1	-2/+3
2020-03-04	lean: 3.6.0 -> 3.6.1	R. RyanTM	1	-3/+3
2020-02-26	lean: 3.5.1 -> 3.6.0	Mario Rodas	1	-2/+2
2020-02-15	lean: 3.4.2 -> 3.5.1	Junyoung Clare Jang	1	-3/+4
2019-08-15	treewide: name -> pname (easy cases) (#66585)	volth	1	-1/+1
2019-01-20	lean: 3.4.1 -> 3.4.2	Mario Rodas	1	-3/+3
2018-05-07	lean: 3.3.0 -> 3.4.1	R. RyanTM	1	-2/+2
2018-01-22	lean: fixup nativeBuildInputs vs buildInputs	Will Dietz	1	-1/+2
2017-09-15	lean: 3.2.0 -> 3.3.0	Gabriel Ebner	1	-2/+2
2017-06-18	lean: 3.1.0 -> 3.2.0	Gabriel Ebner	1	-2/+2
2017-02-26	lean: 3.0.0 -> 3.1.0	Gabriel Ebner	1	-4/+4
2017-01-20	lean: 2017-01-14 -> 3.0.0	Gabriel Ebner	1	-3/+3
2017-01-14	lean: 2017-01-06 -> 2017-01-14	Gabriel Ebner	1	-3/+3
2017-01-06	lean: 2016-12-30 -> 2017-01-06	Gabriel Ebner	1	-3/+3
2016-12-31	lean: 2016-12-08 -> 2016-12-30	Gabriel Ebner	1	-3/+3
2016-12-08	lean: init at 2016-12-08	Gabriel Ebner	1	-0/+28
2016-12-08	lean2: 2016-07-05 -> 2016-11-29	Gabriel Ebner	1	-34/+0
2016-10-01	Remove redundant -DCMAKE_BUILD_TYPE=Release flags	Aneesh Agrawal	1	-2/+0
2016-07-27	lean: 20160117 -> 2016-07-05	Gabriel Ebner	1	-9/+9
2016-01-17	lean: add wrapper for linja	Gabriel Ebner	1	-2/+6
2016-01-17	lean: 20150821 -> 20160117	Gabriel Ebner	1	-3/+3
2015-08-21	nixpkgs: lean 20150328 -> 20150821	Austin Seipp	1	-3/+4
2015-05-16	lean: fixed build	Pascal Wittmann	1	-1/+4
2015-03-28	nixpkgs: add lean-20150328, a theorem prover.	Austin Seipp	1	-0/+28