Mauricio Collares
258e959faf
lean: 3.30.0 -> 3.31.0
2021-07-01 20:47:08 -03:00
Mauricio Collares
cbaf78cdaa
lean: substitute release commit sha1
2021-05-26 11:53:55 -03:00
R. RyanTM
96e1cc0768
lean: 3.29.0 -> 3.30.0
2021-05-01 05:49:45 +00:00
R. RyanTM
4ccb9422c7
lean: 3.28.0 -> 3.29.0
2021-04-27 05:34:13 +00:00
R. RyanTM
fadcc52955
lean: 3.27.0 -> 3.28.0
2021-03-17 14:16:02 +00:00
R. RyanTM
4dd9084ca9
lean: 3.26.0 -> 3.27.0
2021-02-28 15:14:35 +00:00
R. RyanTM
fe1239c794
lean: 3.25.0 -> 3.26.0
2021-01-29 05:15:16 +00:00
R. RyanTM
0119128f9e
lean: 3.24.0 -> 3.25.0
2021-01-22 14:11:46 +00:00
Ben Siraphob
badf51221d
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
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
2021-01-11 10:38:22 +01:00
Jan Tojnar
f19eb635b4
Merge branch 'master' into staging-next
...
b04fc593e7
2021-01-07 13:04:31 +01:00
Devon Richards
7a16349789
lean: 3.23.0 -> 3.24.0
...
We have to update to be able to use the current version of mathlib.
2021-01-06 21:38:04 -06:00
Ben Siraphob
3ae5e6ce03
treewide: remove enableParallelBuilding = true if using cmake
2021-01-03 18:37:40 +07:00
R. RyanTM
f7485d07b5
lean: 3.21.0 -> 3.23.0
2020-11-11 15:16:44 -08:00
Gabriel Ebner
8279979f38
lean: build olean files
2020-11-04 16:32:56 +01:00
R. RyanTM
855b84d8b0
lean: 3.19.0 -> 3.21.0
2020-10-18 17:00:15 +00:00
Mario Rodas
f7eb2883b5
lean: 3.18.4 -> 3.19.0
2020-08-29 04:20:00 +00:00
R. RyanTM
7fc1e676ea
lean: 3.16.5 -> 3.18.4
2020-08-02 04:55:59 +00:00
R. RyanTM
39ee2ab9c0
lean: 3.16.2 -> 3.16.5
2020-07-02 13:12:58 +00:00
R. RyanTM
e63bfcef96
lean: 3.15.0 -> 3.16.2
2020-06-14 19:32:20 +00:00
R. RyanTM
25300419fd
lean: 3.14.0 -> 3.15.0
2020-06-06 10:55:48 +00:00
R. RyanTM
7573e99a60
lean: 3.13.1 -> 3.14.0
2020-05-24 22:22:11 +00:00
Mario Rodas
b022ecbf5d
lean: 3.10.0 -> 3.13.1
2020-05-16 04:20:00 -05:00
Mario Rodas
3253c03d2e
lean: 3.9.0 -> 3.10.0
2020-05-02 04:20:00 -05:00
Mario Rodas
f37c9226fc
lean: 3.8.0 -> 3.9.0
2020-04-18 04:20:00 -05:00
Mario Rodas
8e537ad391
lean: 3.7.2 -> 3.8.0
2020-04-09 10:40:00 -05:00
Mario Rodas
b2df6d541d
lean: 3.7.0 -> 3.7.2
2020-03-22 04:20:00 -05:00
Mario Rodas
c935567de6
lean: 3.6.1 -> 3.7.0
2020-03-14 01:32:58 +00:00
R. RyanTM
5b833c08ef
lean: 3.6.0 -> 3.6.1
2020-03-04 06:26:01 +00:00
Mario Rodas
79f057e2eb
lean: 3.5.1 -> 3.6.0
2020-02-26 18:00:00 -05:00
Junyoung Clare Jang
b71c03e483
lean: 3.4.2 -> 3.5.1
...
3.4.2 is not compilable with GCC >= 9.1
2020-02-15 02:29:12 -05:00
volth
46420bbaa3
treewide: name -> pname (easy cases) ( #66585 )
...
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
2019-08-15 13:41:18 +01:00
Mario Rodas
9a18d9356d
lean: 3.4.1 -> 3.4.2
2019-01-20 06:46:37 -05:00
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
2018-05-07 02:24:49 -07:00
Will Dietz
a5a64cfcb1
lean: fixup nativeBuildInputs vs buildInputs
2018-01-22 17:19:02 -06:00
Gabriel Ebner
aad00e35db
lean: 3.2.0 -> 3.3.0
2017-09-15 08:48:02 +02:00
Gabriel Ebner
89e02c7516
lean: 3.1.0 -> 3.2.0
2017-06-18 20:04:30 +02:00
Gabriel Ebner
cc647804f1
lean: 3.0.0 -> 3.1.0
2017-02-26 08:50:15 +01:00
Gabriel Ebner
6c9f4a61be
lean: 2017-01-14 -> 3.0.0
2017-01-20 10:59:54 +01:00
Gabriel Ebner
5ad75554b6
lean: 2017-01-06 -> 2017-01-14
2017-01-14 09:37:48 +01:00
Gabriel Ebner
74a97421ce
lean: 2016-12-30 -> 2017-01-06
2017-01-06 11:57:40 +01:00
Gabriel Ebner
68b2d43c88
lean: 2016-12-08 -> 2016-12-30
2016-12-31 13:51:10 +01:00
Gabriel Ebner
a2210a9efd
lean: init at 2016-12-08
2016-12-08 10:30:28 -05:00
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.
2016-12-08 10:30:28 -05:00
Aneesh Agrawal
fcee1d0b28
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
...
Since commit 183d05a0fixes #18000
2016-10-01 16:13:41 +02:00
Gabriel Ebner
f970bc67c7
lean: 20160117 -> 2016-07-05
...
Fixes #17260 .
2016-07-27 11:01:45 +02:00
Gabriel Ebner
8a26d9b84f
lean: add wrapper for linja
2016-01-17 09:29:18 +01:00
Gabriel Ebner
36c430de12
lean: 20150821 -> 20160117
2016-01-17 09:29:05 +01:00
Austin Seipp
1239465314
nixpkgs: lean 20150328 -> 20150821
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-08-21 13:57:16 -05:00
Pascal Wittmann
c944422863
lean: fixed build
2015-05-16 12:12:58 +02:00
