diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-11-24 10:33:29 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-12-01 13:46:15 +0100 |
| commit | 48406e3fca5be837df5cfa3a5b891dd3d6557e1b (patch) | |
| tree | d838b735bdc8372221b88772a27bd87c6d02aa35 /pkgs/development/interpreters/lunatic | |
| parent | 4f51fae5bbbb5b232ca340f5836875cc2c0f10cc (diff) | |
| download | nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.gz nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.bz2 nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.lz nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.xz nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.tar.zst nixpkgs-48406e3fca5be837df5cfa3a5b891dd3d6557e1b.zip | |
coq_8_14: 8.14.0 → 8.14.1
And build Coq ≥ 8.14 with OCaml 4.12
Diffstat (limited to 'pkgs/development/interpreters/lunatic')
0 files changed, 0 insertions, 0 deletions