search

frenetic-lang / opam-bleeding

Bleeding edge OPAM
0 stars 0 forks source link

Kill this repository? #34

Open arjunguha opened 9 years ago

arjunguha commented 9 years ago

The new opam pin feature makes this repo unnecessary.

seliopou commented 9 years ago

This is still used by the travis runs to build on OPAM 1.1, which doesn't support the pin feature.