Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-02-11 | lean3: fix `gcc-13` build failure) | Sergei Trofimovich | 1 | -1/+10 | |
Without the change the build fails on `master` as https://hydra.nixos.org/build/247665202: /build/source/src/shell/lean_js.h:11:32: error: 'uintptr_t' was not declared in this scope 11 | int emscripten_process_request(uintptr_t msg); | ^~~~~~~~~ | |||||
2023-05-22 | lean: 3.50.3 -> 3.51.0 | kilianar | 1 | -3/+3 | |
https://github.com/leanprover-community/lean/releases/tag/v3.51.0 | |||||
2022-12-26 | lean: 3.50.2 -> 3.50.3 | Mauricio Collares | 1 | -3/+3 | |
2022-12-26 | lean: 3.50.1 -> 3.50.2 | Mauricio Collares | 1 | -3/+3 | |
2022-12-22 | lean: 3.50.0 -> 3.50.1 | Mauricio Collares | 1 | -3/+3 | |
2022-12-15 | lean: 3.49.1 -> 3.50.0 | Mauricio Collares | 1 | -3/+3 | |
2022-12-15 | lean: 3.49.0 -> 3.49.1 | Mauricio Collares | 1 | -3/+3 | |
2022-11-11 | lean: 3.48.0 -> 3.49.0 | Mauricio Collares | 1 | -3/+3 | |
2022-08-31 | lean: 3.47.0 -> 3.48.0 | kilianar | 1 | -3/+3 | |
https://github.com/leanprover-community/lean/releases/tag/v3.48.0 | |||||
2022-08-27 | lean: 3.46.0 -> 3.47.0 | Mario Rodas | 1 | -3/+3 | |
2022-08-09 | lean: 3.45.0 -> 3.46.0 | kilianar | 1 | -3/+3 | |
https://github.com/leanprover-community/lean/releases/tag/v3.46.0 | |||||
2022-07-21 | lean: 3.44.1 -> 3.45.0 | Mauricio Collares | 1 | -3/+3 | |
2022-07-21 | lean: 3.44.0 -> 3.44.1 | Mauricio Collares | 1 | -3/+3 | |
2022-07-21 | lean: 3.43.0 -> 3.44.0 | Mauricio Collares | 1 | -3/+3 | |
2022-05-18 | lean: 3.42.1 -> 3.43.0 | Mauricio Collares | 1 | -3/+3 | |
2022-05-18 | lean: 3.42.0 -> 3.42.1 | Mauricio Collares | 1 | -3/+3 | |
2022-03-18 | lean: 3.41.0 -> 3.42.0 | Mauricio Collares | 1 | -3/+3 | |
2022-03-11 | lean: 3.40.0 -> 3.41.0 | Mauricio Collares | 1 | -3/+3 | |
2022-02-22 | lean: 3.39.2 -> 3.40.0 | Mauricio Collares | 1 | -3/+3 | |
2022-02-17 | lean: 3.39.1 -> 3.39.2 | Mauricio Collares | 1 | -3/+3 | |
2022-02-08 | lean: 3.39.0 -> 3.39.1 | Mauricio Collares | 1 | -3/+3 | |
2022-02-03 | lean: 3.38.0 -> 3.39.0 | Mauricio Collares | 1 | -3/+3 | |
2022-01-12 | lean: 3.37.0 -> 3.38.0 | Mauricio Collares | 1 | -3/+3 | |
2022-01-07 | lean: 3.36.0 -> 3.37.0 | Mauricio Collares | 1 | -3/+3 | |
2022-01-04 | lean: 3.35.1 -> 3.36.0 | Mauricio Collares | 1 | -3/+3 | |
2022-01-03 | lean: 3.35.0 -> 3.35.1 | Mauricio Collares | 1 | -3/+3 | |
2021-11-01 | lean: 3.34.0 -> 3.35.0 | Mauricio Collares | 1 | -3/+3 | |
2021-11-01 | lean: 3.33.0 -> 3.34.0 | Mauricio Collares | 1 | -3/+3 | |
2021-10-07 | lean: 3.32.1 → 3.33.0 | Anders Kaseorg | 1 | -3/+3 | |
Signed-off-by: Anders Kaseorg <andersk@mit.edu> | |||||
2021-08-23 | lean: 3.31.0 -> 3.32.1 | kzvi | 1 | -3/+3 | |
2021-07-01 | lean: 3.30.0 -> 3.31.0 | Mauricio Collares | 1 | -3/+3 | |
2021-05-26 | lean: substitute release commit sha1 | Mauricio Collares | 1 | -1/+12 | |
2021-05-01 | lean: 3.29.0 -> 3.30.0 | R. RyanTM | 1 | -2/+2 | |
2021-04-27 | lean: 3.28.0 -> 3.29.0 | R. RyanTM | 1 | -2/+2 | |
2021-03-17 | lean: 3.27.0 -> 3.28.0 | R. RyanTM | 1 | -2/+2 | |
2021-02-28 | lean: 3.26.0 -> 3.27.0 | R. RyanTM | 1 | -2/+2 | |
2021-01-29 | lean: 3.25.0 -> 3.26.0 | R. RyanTM | 1 | -2/+2 | |
2021-01-22 | lean: 3.24.0 -> 3.25.0 | R. RyanTM | 1 | -2/+2 | |
2021-01-16 | treewide: stdenv.lib -> lib | Ben Siraphob | 1 | -1/+1 | |
2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -2/+2 | |
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-07 | Merge branch 'master' into staging-next | Jan Tojnar | 1 | -2/+2 | |
https://github.com/NixOS/nixpkgs/commit/b04fc593e7b55fe1f74421b11589f12a339c92e2 seems to have accidentally changed mkDerivation function for dfilemanager and solarus-quest-editor so I have reverted that here. | |||||
2021-01-06 | lean: 3.23.0 -> 3.24.0 | Devon Richards | 1 | -2/+2 | |
We have to update to be able to use the current version of mathlib. | |||||
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 | |