diff options
author | Gabriel Ebner <gebner@gebner.org> | 2021-01-07 10:46:33 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-07 10:46:33 +0100 |
commit | fbd59a3e2cb683e01fb65732202a0250b74351ec (patch) | |
tree | 65332c7fb2434e2806a5c7e3c9fb888dda058abf /pkgs/development/ocaml-modules | |
parent | 3f132c79acc12133589cafacad28ad8d7baccf3e (diff) | |
parent | 7a16349789adda186828a4c1b0d7c05aa034a3da (diff) |
Merge pull request #108636 from ruler501/patch-3
lean: 3.23.0 -> 3.24.0
Diffstat (limited to 'pkgs/development/ocaml-modules')
0 files changed, 0 insertions, 0 deletions