aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/statistics.scm
blob: 8efaa65f67cdb075002f5303c8aa274d0f433b55 (about) (plain)
blob size (244KB) exceeds display size limit (100KB).
generated by cgit
packages/potassco.scm?id=e046d6d4436a2dd13e6faedb44622db037b7e19c'>gnu: python-telingo: Update to 2.1.3....* gnu/packages/potassco.scm (python-telingo): Update to 2.1.3. [source]: Drop obsolete patch. * gnu/packages/patches/python-telingo-fix-comparison.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. Liliana Marie Prikler 2024-03-02gnu: python-plingo: Update to 1.1.0....* gnu/packages/potassco.scm (python-plingo): Update to 1.1.0. Liliana Marie Prikler 2024-03-02gnu: python-clorm: Update to 1.5.0....* gnu/packages/potassco.scm (python-clorm): Update to 1.5.0. Liliana Marie Prikler 2024-03-02gnu: python-clingo-dl: Fix build....* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. [native-inputs]: Add python-scikit-build. Liliana Marie Prikler 2024-03-02gnu: python-clingo: Fix build....* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. Liliana Marie Prikler 2024-03-02gnu: clingo-dl: Update to 1.5.0....* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0. Liliana Marie Prikler 2024-03-02gnu: clingo: Build from actual sources....* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove generated sources. [native-inputs]: Add bison and re2c. Liliana Marie Prikler 2024-03-02gnu: clingo: Update to 5.7.1....* gnu/packages/potassco.scm (clingo): Update to 5.7.1. Liliana Marie Prikler 2024-03-02gnu: clasp: Update to 3.3.10....* gnu/packages/potassco.scm (clasp): Update to 3.3.10. Liliana Marie Prikler 2024-03-02gnu: libpotassco: Update to 0.0-2.69b677f....* gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f. Liliana Marie Prikler 2024-02-03gnu: Add lua-clingo....* gnu/packages/potassco.scm (make-lua-clingo, lua5.1-clingo) (lua5.2-clingo): New variables. Liliana Marie Prikler 2024-02-03gnu: Add python-plingo....* gnu/packages/potassco.scm (python-plingo): New variable. Liliana Marie Prikler 2024-02-03gnu: python-clorm: Reindent with emacs....* gnu/packages/potassco.scm (python-clorm): Reindent with emacs. Liliana Marie Prikler 2024-02-03gnu: Add python-clingo-dl....* gnu/packages/potassco.scm (python-clingo-dl): New variable. Liliana Marie Prikler 2024-01-16gnu: python-clingraph: Update to 1.1.2....* gnu/packages/potassco.scm (python-clingraph): Update to 1.1.2. Change-Id: I5910853d39389ff9ad981543204fd8ef1445e495 Ricardo Wurmus 2024-01-09gnu: catch2-3: Update to 3.5.1....* gnu/packages/check.scm (catch2-3.3): Rename to... (catch2-3): ... this. Update to 3.5.1. * gnu/packages/logging.scm (spdlog) [native-inputs]: Rename catch2-3.3 to catch2-3. * gnu/packages/potassco.scm (clingo) [inputs]: Likewise. Change-Id: Ied7724597ff4c6371dc4fedc10452ae870d23933 Maxim Cournoyer 2023-11-30gnu: Add plasp....* gnu/packages/patches/plasp-fix-normalization.patch: New file. * gnu/packages/patches/plasp-include-iostream.patch: New file. * gnu/local.mk (dist_patch_DATA): Register them here. * gnu/packages/potassoc.scm (plasp): New variable. Change-Id: I0d8d64153b180a7d1d8d81888f843458efdf5e51 Liliana Marie Prikler 2023-11-23gnu: Add clingo-dl....* gnu/packages/potassco.scm (clingo-dl): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd Liliana Marie Prikler