aboutsummaryrefslogtreecommitdiff
path: root/nix
ModeNameSize
-rw-r--r--.gitignore24logplainabout
-rw-r--r--AUTHORS118logplainabout
-rw-r--r--COPYING26436logplainabout
d---------boost156logplain
d---------libstore906logplain
d---------libutil410logplain
-rw-r--r--local.mk6819logplainabout
d---------nix-daemon120logplain
81229a956bcb7b48'>gnu: clasp: Update to 3.3.10....Liliana Marie Prikler 2024-03-02gnu: libpotassco: Update to 0.0-2.69b677f....Liliana Marie Prikler 2024-02-03gnu: Add lua-clingo....Liliana Marie Prikler 2024-02-03gnu: Add python-plingo....Liliana Marie Prikler 2024-02-03gnu: python-clorm: Reindent with emacs....Liliana Marie Prikler 2024-02-03gnu: Add python-clingo-dl....Liliana Marie Prikler 2024-01-16gnu: python-clingraph: Update to 1.1.2....Ricardo Wurmus 2024-01-09gnu: catch2-3: Update to 3.5.1....Maxim Cournoyer 2023-11-30gnu: Add plasp....Liliana Marie Prikler 2023-11-23gnu: Add clingo-dl....Liliana Marie Prikler