Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | clingcon.nix | 1175 | logplain |
-rw-r--r-- | clingo.nix | 701 | logplain |
-rw-r--r-- | clingo.upstream | 162 | logplain |
index : kookienomicon | ||
My personal project and infrastructure archive | Katharina Fey |
aboutsummaryrefslogtreecommitdiff |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | clingcon.nix | 1175 | logplain |
-rw-r--r-- | clingo.nix | 701 | logplain |
-rw-r--r-- | clingo.upstream | 162 | logplain |