souffle 2.5 maintained
Translator of declarative Datalog programs into the C++ language
- Name
souffle-2.5- Package set
- top-level
- Homepage
- https://souffle-lang.github.io/
- License
- UPL-1.0
- Source
- pkgs/by-name/so/souffle/package.nix:101
- Derivation
/nix/store/clr4m9xhapschhmy946dbcdv2zq4slw9-souffle-2.5.drv
Maintainers 3
| Handle | Name | Contact | Via |
|---|---|---|---|
| markusscherer | Markus Scherer | GitHub | listed on package |
| thoughtpolice | Austin Seipp | GitHub · aseipp@pobox.com | listed on package |
| wchresta | wchresta | GitHub · wchresta.nix@chrummibei.ch | listed on package |
Dependencies 16
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| libffi 3.8.0 | propagatedBuildInputs | 75,498 | single | |
| ncurses 6.6 | propagatedBuildInputs | 77,216 | unmaintained | |
| sqlite 3.53.3 | propagatedBuildInputs | 75,538 | maintained | |
| zlib 1.3.2 | propagatedBuildInputs | 102,427 | team-only | |
| bash-completion 2.18.0 | buildInputs | 18,288 | single | |
| python3 3.14.7 | buildInputs | 72,537 | team-only | |
| bison 3.8.2 | nativeBuildInputs | 77,242 | unmaintained | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained | |
| doxygen 1.17.0 | nativeBuildInputs | 21,468 | unmaintained | |
| flex 2.6.4 | nativeBuildInputs | 52,194 | unmaintained | |
| graphviz 15.1.1 | nativeBuildInputs | 16,055 | maintained | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| mcpp 2.7.2.3 | nativeBuildInputs | 34 | unmaintained | |
| perl 5.42.3 | nativeBuildInputs | 80,356 | team-only | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.