guix.git - Mirror of the official guix repository

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