Age | Commit message (Expand) | Author |
2024-02-03 | gnu: Add lua-clingo. | Liliana Marie Prikler |
2024-02-03 | gnu: Add python-plingo. | Liliana Marie Prikler |
2024-02-03 | gnu: python-clorm: Reindent with emacs. | Liliana Marie Prikler |
2024-02-03 | gnu: Add python-clingo-dl. | Liliana Marie Prikler |
2024-01-16 | gnu: python-clingraph: Update to 1.1.2. | Ricardo Wurmus |
2024-01-09 | gnu: catch2-3: Update to 3.5.1. | Maxim Cournoyer |
2023-11-30 | gnu: Add plasp. | Liliana Marie Prikler |
2023-11-23 | gnu: Add clingo-dl. | Liliana Marie Prikler |
2023-07-08 | gnu: emacs-pasp-mode: Use a source file-name. | Efraim Flashner |
2023-07-01 | gnu: catch2: Update to 3.3.2. | David Elsing |
2023-07-01 | gnu: clingo: Unbundle dependencies. | David Elsing |
2023-05-09 | gnu: Add python-clinguin. | Liliana Marie Prikler |
2023-04-29 | gnu: libpotassco: Unbundle catch. | Liliana Marie Prikler |
2023-04-19 | gnu: python-typing-extensions: Move to (gnu packages python-build). | Maxim Cournoyer |
2023-04-02 | gnu: Add python-clingraph. | Liliana Marie Prikler |
2023-04-02 | gnu: Separate potassco packages into their own module. | Liliana Marie Prikler |