Commit message (Expand) | Author | Age | |
---|---|---|---|
* | gnu: Add clingcon. | Liliana Marie Prikler | 2024-10-27 |
* | gnu: Add clingo-lpx. | Liliana Marie Prikler | 2024-10-27 |
* | gnu: Add python-clingox. | Liliana Marie Prikler | 2024-07-27 |
* | gnu: Add python-asprin. | Liliana Marie Prikler | 2024-07-27 |
* | gnu: clasp: Prevent ID clashes in dependent packages. | Liliana Marie Prikler | 2024-07-07 |
* | gnu: Add python-clintest. | Liliana Marie Prikler | 2024-05-14 |
* | gnu: python-telingo: Update to 2.1.3. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: python-plingo: Update to 1.1.0. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: python-clorm: Update to 1.5.0. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: python-clingo-dl: Fix build. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: python-clingo: Fix build. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: clingo-dl: Update to 1.5.0. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: clingo: Build from actual sources. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: clingo: Update to 5.7.1. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: clasp: Update to 3.3.10. | Liliana Marie Prikler | 2024-03-02 |
* | gnu: libpotassco: Update to 0.0-2.69b677f. | Liliana Marie Prikler | 2024-03-02 |
* | 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-02-03 |
* | gnu: python-clingraph: Update to 1.1.2. | Ricardo Wurmus | 2024-01-16 |
* | gnu: catch2-3: Update to 3.5.1. | Maxim Cournoyer | 2024-01-09 |
* | gnu: Add plasp. | Liliana Marie Prikler | 2023-11-30 |
* | gnu: Add clingo-dl. | Liliana Marie Prikler | 2023-11-23 |
* | gnu: emacs-pasp-mode: Use a source file-name. | Efraim Flashner | 2023-07-08 |
* | gnu: catch2: Update to 3.3.2. | David Elsing | 2023-07-01 |
* | gnu: clingo: Unbundle dependencies. | David Elsing | 2023-07-01 |
* | gnu: Add python-clinguin. | Liliana Marie Prikler | 2023-05-09 |
* | gnu: libpotassco: Unbundle catch. | Liliana Marie Prikler | 2023-04-29 |
* | gnu: python-typing-extensions: Move to (gnu packages python-build). | Maxim Cournoyer | 2023-04-19 |
* | gnu: Add python-clingraph. | Liliana Marie Prikler | 2023-04-02 |
* | gnu: Separate potassco packages into their own module. | Liliana Marie Prikler | 2023-04-02 |