Skip to content

GitLab

Explore

Sign in

O

opam-old

Project information

opam repository for old versions of things we develop (to avoid accumulating too many versions in the main repository)

4 Commits
1 Branch
0 Tags

Created on

October 14, 2020

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:iris/opam-old.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/iris/opam-old.git