24 Oct
2023
24 Oct
'23
8:16 a.m.
zozozo [1] filed a deletion request for calcium [2]: The `flint` package version 3 was released a few days ago in the `extra` repository. This new major version actually directly includes the `calcium` library[1], as well as the `arb` and `antic` libraries, which existed as packages in `extra` and have been removed. It therefore seems reasonable to also delete the `calcium` package. [1]: see the last line of the Overview of the README: https://github.com/flintlib/flint#overview [1] https://aur.archlinux.org/account/zozozo/ [2] https://aur.archlinux.org/pkgbase/calcium/