Markus Scherer 0ba57b396f souffle: add markusscherer as maintainer		2024-07-16 07:31:42 -05:00
..
default.nix	souffle: add markusscherer as maintainer	2024-07-16 07:31:42 -05:00
includes.patch	souffle: fix souffle-compile.py	2024-07-16 07:31:14 -05:00
tests.nix	souffle: add some package tests	2024-07-16 07:31:14 -05:00
threads.patch