Age | Commit message (Expand) | Author |
---|---|---|
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 |