Malte Tammena 9f6a0da017 no ∞. but formatting and pre-commit		2024-03-25 17:16:34 +01:00
..
aba2sat.nix	no ∞. but formatting and pre-commit	2024-03-25 17:16:34 +01:00
aspforaba.nix	no ∞. but formatting and pre-commit	2024-03-25 17:16:34 +01:00
clingo.nix	no ∞. but formatting and pre-commit	2024-03-25 17:16:34 +01:00