opam-repository/packages/hol2dk/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / hol2dk /

at main 4 folders

[new release] hol2dk (0.0.0)

2 years ago

[new release] hol2dk (0.0.1)

2 years ago

Update packages/hol2dk/hol2dk.1.0.0/opam

2 years ago

[new release] hol2dk (2.0.0)

2 years ago