naproche unstable-2024-05-19 single
Write formal proofs in natural language and LaTeX
- Name
Naproche-SAD-unstable-2024-05-19- Package set
- top-level
- Homepage
- https://github.com/naproche/naproche#readme
- License
- GPL-3.0-only
- Main program
Naproche-SAD- Source
- pkgs/by-name/na/naproche/package.nix:11
- Derivation
/nix/store/jh138r2h0wavj8qzgmdl8wjfcabq8slf-Naproche-SAD-unstable-2024-05-19.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| jvanbruegge | Jan van Brügge | GitHub · supermanitu@gmail.com | listed on package |
Dependencies 15
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.megaparsec 9.7.0 | buildInputs | 1,373 | unmaintained outdated | |
| haskellPackages.network 3.2.8.0 | buildInputs | 13,260 | unmaintained outdated | |
| haskellPackages.split 0.2.5 | buildInputs | 12,854 | unmaintained outdated | |
| haskellPackages.temporary 1.3 | buildInputs | 21,685 | unmaintained | |
| haskellPackages.threads 0.5.1.8 | buildInputs | 90 | unmaintained | |
| haskellPackages.uuid 1.3.16.1 | buildInputs | 653 | unmaintained | |
| ghc 9.10.3 | nativeBuildInputs | 27,267 | maintained | |
| haskellPackages.hpack 0.38.3 | nativeBuildInputs | 24 | unmaintained | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| removeReferencesTo | nativeBuildInputs | 51,814 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| coreutils 9.11 | other input | 102,431 | maintained outdated | |
| eprover 3.2 | other input | 4 | single outdated | |
| glibcLocales 2.44 | other input | 55,257 | unmaintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.