nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 07:53:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
3204173add
nixpkgs/pkgs/applications/science/logic/lean4
History
Mario Rodas cbcf0e94ac lean4: 4.2.0 -> 4.3.0 
Diff: https://github.com/leanprover/lean4/compare/v4.2.0...v4.3.0

Changelog: https://github.com/leanprover/lean4/blob/v4.3.0/RELEASES.md
2023-11-29 04:20:00 +00:00
..
default.nix lean4: 4.2.0 -> 4.3.0 2023-11-29 04:20:00 +00:00