50 Commits (7b601ada77d0102a620639482a40dbc5d386effe)

Author	SHA1	Message	Date
Mauricio Collares	97eba634e4	lean: substitute release commit sha1	3 years ago
R. RyanTM	96e1cc0768	lean: 3.29.0 -> 3.30.0	3 years ago
R. RyanTM	4ccb9422c7	lean: 3.28.0 -> 3.29.0	3 years ago
R. RyanTM	fadcc52955	lean: 3.27.0 -> 3.28.0	3 years ago
R. RyanTM	4dd9084ca9	lean: 3.26.0 -> 3.27.0	3 years ago
R. RyanTM	fe1239c794	lean: 3.25.0 -> 3.26.0	3 years ago
R. RyanTM	0119128f9e	lean: 3.24.0 -> 3.25.0	3 years ago
Ben Siraphob	badf51221d	treewide: stdenv.lib -> lib	3 years ago
Profpatsch	4a7f99d55d	treewide: with stdenv.lib; in meta -> with lib; ... Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix	3 years ago
Devon Richards	7a16349789	lean: 3.23.0 -> 3.24.0 ... We have to update to be able to use the current version of mathlib.	3 years ago
Ben Siraphob	3ae5e6ce03	treewide: remove enableParallelBuilding = true if using cmake	3 years ago
R. RyanTM	f7485d07b5	lean: 3.21.0 -> 3.23.0	4 years ago
Gabriel Ebner	8279979f38	lean: build olean files	4 years ago
R. RyanTM	855b84d8b0	lean: 3.19.0 -> 3.21.0	4 years ago
Mario Rodas	f7eb2883b5	lean: 3.18.4 -> 3.19.0	4 years ago
R. RyanTM	7fc1e676ea	lean: 3.16.5 -> 3.18.4	4 years ago
R. RyanTM	39ee2ab9c0	lean: 3.16.2 -> 3.16.5	4 years ago
R. RyanTM	e63bfcef96	lean: 3.15.0 -> 3.16.2	4 years ago
R. RyanTM	25300419fd	lean: 3.14.0 -> 3.15.0	4 years ago
R. RyanTM	7573e99a60	lean: 3.13.1 -> 3.14.0	4 years ago
Mario Rodas	b022ecbf5d	lean: 3.10.0 -> 3.13.1	4 years ago
Mario Rodas	3253c03d2e	lean: 3.9.0 -> 3.10.0	4 years ago
Mario Rodas	f37c9226fc	lean: 3.8.0 -> 3.9.0	4 years ago
Mario Rodas	8e537ad391	lean: 3.7.2 -> 3.8.0	4 years ago
Mario Rodas	b2df6d541d	lean: 3.7.0 -> 3.7.2	4 years ago
Mario Rodas	c935567de6	lean: 3.6.1 -> 3.7.0	4 years ago
R. RyanTM	5b833c08ef	lean: 3.6.0 -> 3.6.1	4 years ago
Mario Rodas	79f057e2eb	lean: 3.5.1 -> 3.6.0	4 years ago
Junyoung Clare Jang	b71c03e483	lean: 3.4.2 -> 3.5.1 ... 3.4.2 is not compilable with GCC >= 9.1	4 years ago
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	5 years ago
Mario Rodas	9a18d9356d	lean: 3.4.1 -> 3.4.2	5 years ago
R. RyanTM	639376aff6	lean: 3.3.0 -> 3.4.1 ... Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/lean/versions. These checks were done: - built on NixOS - ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean -h’ got 0 exit code - ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean --help’ got 0 exit code - ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanpkg help’ got 0 exit code - found 3.4.1 with grep in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1 - directory tree listing: https://gist.github.com/198504c00746718749b3019653fe78fd	6 years ago
Will Dietz	a5a64cfcb1	lean: fixup nativeBuildInputs vs buildInputs	6 years ago
Gabriel Ebner	aad00e35db	lean: 3.2.0 -> 3.3.0	7 years ago
Gabriel Ebner	89e02c7516	lean: 3.1.0 -> 3.2.0	7 years ago
Gabriel Ebner	cc647804f1	lean: 3.0.0 -> 3.1.0	7 years ago
Gabriel Ebner	6c9f4a61be	lean: 2017-01-14 -> 3.0.0	7 years ago
Gabriel Ebner	5ad75554b6	lean: 2017-01-06 -> 2017-01-14	7 years ago
Gabriel Ebner	74a97421ce	lean: 2016-12-30 -> 2017-01-06	7 years ago
Gabriel Ebner	68b2d43c88	lean: 2016-12-08 -> 2016-12-30	8 years ago
Gabriel Ebner	a2210a9efd	lean: init at 2016-12-08	8 years ago
Gabriel Ebner	ce2a9a8f9b	lean2: 2016-07-05 -> 2016-11-29 ... Renamed from lean since upstream renamed it as well. The lean attribute in nixpkgs will now refer to the new lean 3 version.	8 years ago
Aneesh Agrawal	fcee1d0b28	Remove redundant -DCMAKE_BUILD_TYPE=Release flags ... Since commit 183d05a0 in 2012, this is the default. fixes #18000	8 years ago
Gabriel Ebner	f970bc67c7	lean: 20160117 -> 2016-07-05 ... Fixes #17260.	8 years ago
Gabriel Ebner	8a26d9b84f	lean: add wrapper for linja	8 years ago
Gabriel Ebner	36c430de12	lean: 20150821 -> 20160117	8 years ago
Austin Seipp	1239465314	nixpkgs: lean 20150328 -> 20150821 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	9 years ago
Pascal Wittmann	c944422863	lean: fixed build	9 years ago
Austin Seipp	a6813ca62d	nixpkgs: add lean-20150328, a theorem prover. ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	9 years ago