conf-flintversion
Virtual package relying on a Flint lib system installation
This package can only install if the Flint lib version 3 is installed on the system.
| Authors | William Hart, Sebastian Pancratz, Andy Novocin, Fredrik Johansson, Tom Bachmann, Mike Hansen and Daniel Schultz |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | http://flint.org |
| Issue Tracker | https://github.com/flintlib/flint2.git |
| Maintainer | bobot |
| Available | !(os-distribution = "ubuntu" & os-version < "24.04") & !(os-distribution = "debian" & os-version <= "12") & !(os-distribution = "fedora" & os-version <= "39") & !(os-family = "suse") |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/conf-flint/conf-flint.3.0/opam |
Required by
- conf-calcium
- flint>=0.3.1
