coqPackages.mathcomp-bigenough 1.0.4 unmaintained
Small library to do epsilon - N reasonning
- Name
rocq9.1-mathcomp2.5-bigenough-1.0.4- Package set
- coqPackages
- Homepage
- https://github.com/math-comp/bigenough
- License
- CECILL-B
- Source
- pkgs/development/rocq-modules/mathcomp-bigenough/default.nix:44
- Derivation
/nix/store/0ha0ya3yk1skcbjdw92sh9qbjs9fw1gk-rocq9.1-mathcomp2.5-bigenough-1.0.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
- Also available as
rocqPackages.mathcomp-bigenough
Maintainers 0
This package has no maintainers.
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| coqPackages.mathcomp-boot 2.5.0 | propagatedBuildInputs | 44 | maintained | |
| rocq-core 9.1.1 | buildInputs | 107 | maintained | |
| which 2.25 | nativeBuildInputs | 69,127 | single | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 4 directly, 9 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| coqPackages.mathcomp-real-closed 2.0.5 | propagatedBuildInputs | 7 | unmaintained | |
| coqPackages.mathcomp-analysis 1.16.0 | propagatedBuildInputs | 4 | single | |
| coqPackages.multinomials 2.4.0 | propagatedBuildInputs | 2 | unmaintained | |
| coqPackages.mathcomp-experimental-reals 1.16.0 | propagatedBuildInputs | 1 | single |