Closed UnixJunkie closed 6 years ago
Sorry, we need a new release in opam. That's just the version in opam that doesn't compile with 4.06.0.
@rdicosmo Roberto, can you create a new tag? I'd like to update the opam package. Thanks, F.
Will do soon :-)
On Mon, Feb 19, 2018 at 01:16:56AM +0000, Francois BERENGER wrote:
@rdicosmo Roberto, can you create a new tag? I'd like to update the opam package. Thanks, F.
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.*
-- Roberto Di Cosmo
Computer Science Professor (on leave at INRIA from IRIF/University Paris Diderot)
Software Heritage E-mail : roberto@dicosmo.org
INRIA Web : http://www.dicosmo.org
Bureau C123 Twitter : http://twitter.com/rdicosmo
2, Rue Simone Iff Tel : +33 1 80 49 44 42
CS 42112
75589 Paris Cedex 12
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
done :-)
Roberto Di Cosmo
Computer Science Professor (on leave at INRIA from IRIF/University Paris Diderot)
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
2018-02-19 10:05 GMT+01:00 Roberto Di Cosmo roberto@dicosmo.org:
Will do soon :-)
On Mon, Feb 19, 2018 at 01:16:56AM +0000, Francois BERENGER wrote:
@rdicosmo Roberto, can you create a new tag? I'd like to update the opam package. Thanks, F.
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.*
-- Roberto Di Cosmo
Computer Science Professor (on leave at INRIA from IRIF/University Paris Diderot)
Software Heritage E-mail : roberto@dicosmo.org INRIA Web : http://www.dicosmo.org Bureau C123 Twitter : http://twitter.com/rdicosmo 2, Rue Simone Iff Tel : +33 1 80 49 44 42 CS 42112 75589 Paris Cedex 12
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
CI tests underway there: https://github.com/ocaml/opam-repository/pull/11467