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

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / gmp-freestanding /

at main 7 folders

gmp-freestanding.6.0.0

gmp-freestanding/zarith-freestanding: also mark these as deprecated

1 year ago

gmp-freestanding.6.0.0-1

gmp-freestanding/zarith-freestanding: also mark these as deprecated

1 year ago

gmp-freestanding.6.1.2

gmp-freestanding/zarith-freestanding: also mark these as deprecated

1 year ago

gmp-freestanding.6.1.2-1

gmp-freestanding/zarith-freestanding: also mark these as deprecated

1 year ago

gmp-freestanding.6.1.2-2

gmp-freestanding/zarith-freestanding: also mark these as deprecated

1 year ago

gmp-freestanding.6.2.0

gmp-freestanding/zarith-freestanding: also mark these as deprecated

1 year ago

gmp-freestanding.6.2.1

mark packages I marked as deprecated with x-maintenance-intent: ["(none)"]

11 months ago