anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

conf-{flint, arb}: lint opam file

authored by

Marcello Seri and committed by
GitHub 947141bb cfd98750

-2
-1
packages/conf-arb/conf-arb.1/opam
··· 1 1 opam-version: "2.0" 2 - version: "1" 3 2 maintainer: "bobot" 4 3 homepage: "http://arblib.org/" 5 4 bug-reports: "https://github.com/fredrik-johansson/arb"
-1
packages/conf-flint/conf-flint.1/opam
··· 1 1 opam-version: "2.0" 2 - version: "1" 3 2 maintainer: "bobot" 4 3 homepage: "http://flint.org" 5 4 bug-reports: "https://github.com/flintlib/flint2.git"