The pcs extension fails to load at runtime with PHP 7.3, so let's mark
it broken from 7.3 onwards. It also depends on the tokenizer internal
extension.
Fix an issue brought up in #86463, where the apcu_bc extension isn't
loaded correctly since it produces a .so with a different name than
the extension name. Also, the apcu extension has to be loaded and
loaded prior to loading this extension.
- fixed bignum version
- fixed coq-bits version
- fixed coqprime version
- fixed mathcomp and mathcomp extra packages
(reworked building scheme and removed unused ssreflect directory)
- giving the user access to function filterCoqPackages, because overrideScope' does not re-apply it.
Use proper Qt bindings (#65399). Note, current version didn't work for
me, new version does.
The libfive library is licensed under MPL 2.0, while the libfive-guile
and libfive-studio are under GPL 2+
Superseeds #66128
Everything is copied as-is from 9 (except version and hash).
Some platform-specific patches might not apply anymore;
I'm lazily leaving that for the community to fix.
* mari0: init at 1.6.2
* Quote URL per RFC 45, use SSL
Co-authored-by: Ryan Mulligan <ryan@ryantm.com>
* Inherit pname and version instead of setting name explicitly
Co-authored-by: Ryan Mulligan <ryan@ryantm.com>
Co-authored-by: Ryan Mulligan <ryan@ryantm.com>
This is needed by newer versions of `tensorflow` and other ML tools, so we
should start working on an upgrade of the default versoin in the distribution.
the -small packages depend on all hydra buildable dependencies
the non-small ones depend on packages3d which exceeds hydra's limit
set platforms to all (kicad is cross-platform)
clarify package differences in the description
set maintainers on just the top level derivation
switch -unstable to not save debug symbols
indicate patch in version string
note broken dependencies
