Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-03-09 | Revert "elan: revert temporary directory creation" | Joachim Breitner | 1 | -9/+1 |
2024-03-09 | fix: elan: use relative paths in wrapper script | Joachim Breitner | 1 | -4/+6 |
2024-03-07 | elan: revert temporary directory creation | Mario Rodas | 1 | -1/+9 |
2024-02-22 | elan: 3.1.0 -> 3.1.1 | Mario Rodas | 1 | -3/+3 |
2024-02-19 | elan: 3.0.0 -> 3.1.0 | Mario Rodas | 1 | -3/+3 |
2023-09-10 | elan: 2.0.1 -> 3.0.0 | Mario Rodas | 1 | -3/+5 |
2023-07-27 | elan: 2.0.0 -> 2.0.1 | R. Ryantm | 1 | -3/+3 |
2023-07-11 | elan: 1.4.6 -> 2.0.0 | R. Ryantm | 1 | -3/+3 |
2023-06-25 | elan: 1.4.5 -> 1.4.6 | R. Ryantm | 1 | -3/+3 |
2023-04-30 | elan: 1.4.2 -> 1.4.5 | R. Ryantm | 1 | -3/+3 |
2022-09-13 | elan: 1.4.1 -> 1.4.2 | Gabriel Ebner | 1 | -3/+3 |
2022-08-22 | elan: overwrite llvm-ar with stdenv ar | Gabriel Ebner | 2 | -1/+8 |
2022-04-24 | elan: 1.4.0 -> 1.4.1 | R. Ryantm | 1 | -3/+3 |
2022-04-13 | elan: 1.3.1 -> 1.4.0 | R. Ryantm | 1 | -3/+3 |
2021-12-19 | elan: set LEAN_CC to stdenv cc | Sebastian Ullrich | 2 | -4/+6 |
2021-11-16 | elan: use buildFeatures | figsoda | 1 | -1/+1 |
2021-11-15 | elan: wrap embedded linker | Sebastian Ullrich | 2 | -34/+23 |
2021-11-03 | elan: 1.3.0 -> 1.3.1 | R. Ryantm | 1 | -3/+3 |
2021-11-01 | elan: 1.2.0 -> 1.3.0 | Gabriel Ebner | 2 | -8/+8 |
2021-10-31 | elan: 1.1.0 -> 1.2.0 | Smaug123 | 1 | -9/+3 |
2021-10-09 | elan: 1.0.7 -> 1.1.0 | Gabriel Ebner | 1 | -4/+10 |
2021-08-17 | elan: 1.0.6 -> 1.0.7 | R. RyanTM | 1 | -3/+3 |
2021-05-26 | elan: 1.0.2 -> 1.0.6 | R. RyanTM | 1 | -3/+3 |
2021-05-15 | elan: fix darwin build | Stéphan Kochen | 1 | -2/+3 |
2021-04-29 | elan: 1.0.0 -> 1.0.2 | R. RyanTM | 1 | -3/+3 |
2021-04-27 | elan: 0.11.0 -> 1.0.0 | R. RyanTM | 1 | -5/+5 |
2021-03-26 | elan: 0.10.3 -> 0.11.0 | Gabriel Ebner | 2 | -5/+69 |
2021-01-19 | treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix | Jonathan Ringer | 1 | -2/+2 |
2021-01-18 | elan: 0.10.2 -> 0.10.3 | R. RyanTM | 1 | -3/+3 |
2020-05-19 | elan: 0.10.0 -> 0.10.2 | R. RyanTM | 1 | -3/+3 |
2020-05-08 | elan: 0.9.0 -> 0.10.0 | Gabriel Ebner | 1 | -3/+3 |
2020-05-07 | elan: 0.8.0 -> 0.9.0 | Gabriel Ebner | 1 | -4/+4 |
2020-03-06 | elan: v0.8.0 tag was force-pushed by upstream | Gabriel Ebner | 1 | -2/+2 |
2020-03-06 | elan: 0.7.5 -> 0.8.0 | Gabriel Ebner | 1 | -3/+3 |
2020-02-19 | elan: upgrade cargo fetcher and cargoSha256 | Benjamin Hipple | 1 | -7/+4 |
2020-02-13 | treewide: change fetchCargoTarball default to opt-out | Benjamin Hipple | 1 | -0/+3 |
2019-12-20 | treewide: fix cargoSha256 (again) | Alyssa Ross | 1 | -1/+1 |
2019-08-31 | treewide: name -> pname (#67513) | volth | 1 | -1/+1 |
2019-06-01 | treewide: update cargoSha256 hashes for cargo-vendor upgrade | Alyssa Ross | 1 | -1/+1 |
2019-03-22 | elan: 0.7.4 -> 0.7.5 | Gabriel Ebner | 1 | -2/+2 |
2019-03-20 | elan: 0.7.2 -> 0.7.4 | Gabriel Ebner | 1 | -2/+2 |
2019-01-15 | elan: 0.7.1 -> 0.7.2 | Gabriel Ebner | 1 | -2/+2 |
2018-10-04 | elan: 0.5.0 -> 0.7.1 | Gabriel Ebner | 1 | -3/+3 |
2018-07-21 | pkgs/*: remove unreferenced function arguments | volth | 1 | -1/+1 |
2018-05-14 | elan: 0.3.2 -> 0.5.0 | Gabriel Ebner | 1 | -2/+2 |
2018-04-13 | elan: 0.3.0 -> 0.3.2 | Gabriel Ebner | 1 | -2/+2 |
2018-04-11 | elan: add leanchecker proxy | Gabriel Ebner | 1 | -1/+1 |
2018-04-11 | elan: 0.1.0 -> 0.3.0 | Gabriel Ebner | 1 | -3/+3 |
2018-04-10 | elan: init at 0.1.0 | Gabriel Ebner | 1 | -0/+44 |