index
:
guix
keyring
master
test
Personal fork of GNU Guix
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
potassco.scm
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
