mozart2 2.0.1 maintained
Open source implementation of Oz 3
- Name
mozart2-2.0.1- Package set
- top-level
- Homepage
- https://mozart.github.io
- License
- BSD-2-Clause
- Source
- pkgs/by-name/mo/mozart2/package.nix:93
- Derivation
/nix/store/c9blfd0vi58dhj72jgr5i8yrmadssrwy-mozart2-2.0.1.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| h7x4 | h7x4 | GitHub · h7x4@nani.wtf · @h7x4:nani.wtf | listed on package |
| layus | Guillaume Maudoux | GitHub · layus.on@gmail.com | listed on package |
Dependencies 11
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| boost183 1.83.0 | buildInputs | 7 | unmaintained | |
| emacs-nox 31.1 | buildInputs | 12 | maintained | |
| gmp 6.3.0 | buildInputs | 49,029 | single | |
| tcl 8.6.16 | buildInputs | 75,377 | maintained | |
| tk 8.6.16 | buildInputs | 4,375 | single outdated | |
| cmake 4.4.3 | nativeBuildInputs | 68,621 | unmaintained outdated | |
| jdk8_headless 8u504-b01 | nativeBuildInputs | 21 | maintained | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,592 | unmaintained setup hook | |
| unzip 6.0 | nativeBuildInputs | 75,903 | single | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| clangStdenv 26.05pre-git | other input | 1,664 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.