Update packages/gluon/gluon.0.0.9/opam
Marcello Seri 2 years ago 9537aaad d81d7239
··· 31 "@doc" {with-doc} 32 ] 33 ] 0 34 dev-repo: "git+https://github.com/riot-ml/gluon.git" 35 url { 36 src:
··· 31 "@doc" {with-doc} 32 ] 33 ] 34 + available: os != "freebsd" 35 dev-repo: "git+https://github.com/riot-ml/gluon.git" 36 url { 37 src: