diff options
| author | Peder Bergebakken Sundt <pbsds@hotmail.com> | 2023-11-27 03:34:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-27 03:34:06 +0100 |
| commit | b1c1589abd5b790893d79d1c31bb2285c288dc2a (patch) | |
| tree | ea9195fde9d06fb52fedfd8bfd9c1249a70fcc43 /pkgs/development/coq-modules | |
| parent | 2816853d559bdea0071e046fbffffd2763f66ebd (diff) | |
| parent | 46b3a4935dc3496e1b3d0636e87588057c46ee0e (diff) | |
| download | nixlib-b1c1589abd5b790893d79d1c31bb2285c288dc2a.tar nixlib-b1c1589abd5b790893d79d1c31bb2285c288dc2a.tar.gz nixlib-b1c1589abd5b790893d79d1c31bb2285c288dc2a.tar.bz2 nixlib-b1c1589abd5b790893d79d1c31bb2285c288dc2a.tar.lz nixlib-b1c1589abd5b790893d79d1c31bb2285c288dc2a.tar.xz nixlib-b1c1589abd5b790893d79d1c31bb2285c288dc2a.tar.zst nixlib-b1c1589abd5b790893d79d1c31bb2285c288dc2a.zip | |
Merge pull request #213867 from jtrees/init-rotp
rotp: init at 1.04
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions