Vincent Laporte 8b6d55d969 clasp: remove at 3.1.4 ...

The clasp binary is part of the clingo package

2022-12-28 10:23:32 +01:00

..

default.nix

clasp: remove at 3.1.4

2022-12-28 10:23:32 +01:00