Mauricio Collares
4b37f16232
lean: 3.42.1 -> 3.43.0
2022-05-18 10:30:32 -04:00
Mauricio Collares
0a449d8fff
lean: 3.42.0 -> 3.42.1
2022-05-18 10:27:18 -04:00
Mauricio Collares
897ba65b6f
lean: 3.41.0 -> 3.42.0
2022-03-18 11:52:10 -03:00
Mauricio Collares
bab25a7a3a
lean: 3.40.0 -> 3.41.0
2022-03-11 11:40:27 -03:00
Mauricio Collares
4ba9b2d198
lean: 3.39.2 -> 3.40.0
2022-02-22 21:02:08 -03:00
Mauricio Collares
0c36a9cc35
lean: 3.39.1 -> 3.39.2
2022-02-17 23:42:05 -03:00
Mauricio Collares
58f58c8de6
lean: 3.39.0 -> 3.39.1
2022-02-08 12:24:19 -03:00
Mauricio Collares
0ebdfab88b
lean: 3.38.0 -> 3.39.0
2022-02-03 09:21:20 -03:00
Mauricio Collares
c3b215f678
lean: 3.37.0 -> 3.38.0
2022-01-12 16:25:20 -03:00
Mauricio Collares
81d4c28748
lean: 3.36.0 -> 3.37.0
2022-01-07 16:51:55 -03:00
Mauricio Collares
b790f8ce31
lean: 3.35.1 -> 3.36.0
2022-01-04 10:35:17 -03:00
Mauricio Collares
5b3eac3130
lean: 3.35.0 -> 3.35.1
2022-01-03 11:42:18 -03:00
Mauricio Collares
89d7336c20
lean: 3.34.0 -> 3.35.0
2021-11-01 19:17:17 +01:00
Mauricio Collares
c707a468a4
lean: 3.33.0 -> 3.34.0
2021-11-01 19:17:17 +01:00
Anders Kaseorg
4ce09e0e06
lean: 3.32.1 → 3.33.0
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2021-10-07 18:54:06 -07:00
kzvi
befe89f3d7
lean: 3.31.0 -> 3.32.1
2021-08-23 15:43:00 -07:00
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
