aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
Commit message (Collapse)AuthorAge
* gnu: trealla: Update to 2.55.24.jgart2024-08-25
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.24. Change-Id: I0e94ef0b863f137d63bd36e13212d64263f496d4
* gnu: trealla: Update to 2.55.23.jgart2024-08-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.23. Change-Id: I0145f8066ceec5cacb4124fa865dd8efa24a5fc8
* gnu: trealla: Update to 2.55.22.jgart2024-08-16
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.22. Change-Id: Iaf62bacbd0eb0278e2a6672833891dacf6f2255b
* gnu: trealla: Update to 2.55.21.jgart2024-08-14
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.21. Change-Id: Ie866bf4b9a50944e5026594ca72405a3af2bc7f2
* gnu: trealla: Update to 2.55.20.jgart2024-08-14
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.20. Change-Id: I4e9fa627fc689bc4203fcb0770067b99bfebab13
* gnu: trealla: Update to 2.55.19.jgart2024-08-12
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.19. Change-Id: I4f79c9e3f0e61fb5b708dfe77b25fd237ed24ab4
* gnu: trealla: Update to 2.55.18.jgart2024-08-12
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.18. Change-Id: I9e1e67ccc4920fe45e46a4918e73f9b5e4fc47c3
* gnu: trealla: Update to 2.55.17.jgart2024-08-12
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.17. Change-Id: I0ab3a4714a2e34cd6e55583bd09ba71857f6461e
* gnu: trealla: Update to 2.55.16.jgart2024-08-12
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.16. Change-Id: I0f21ef880b9b12d69cca0097583b731e4d4dd5f2
* gnu: trealla: Update to 2.55.15.jgart2024-08-05
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.15. Change-Id: Iaacdf45670a8db4180d1a426ea9292b451dece8b
* gnu: swi-prolog: Update to 9.3.8.jgart2024-08-01
| | | | | | * gnu/packages/prolog.scm (swi-prolog): Update to 9.3.8. Change-Id: Ic922c60db9f686c639ec280996d257ccbf63082a
* gnu: trealla: Update to 2.55.14.jgart2024-08-01
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.14. Change-Id: I796a466590d9667934e610614611c8933ea2fdca
* gnu: trealla: Update to 2.55.13.jgart2024-08-01
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.13. Change-Id: I32f7c67667250e6972772a5d4bbffbd585d30796
* gnu: trealla: Update to 2.55.12.jgart2024-07-31
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.12. Change-Id: I4a58b72bec88d95e5953390ecf6d558d2534b9de
* gnu: trealla: Update to 2.55.11.jgart2024-07-31
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.11. Change-Id: I0254cde4f5b72d39196d92d06839001eb54e68cf
* gnu: trealla: Update to 2.55.10.jgart2024-07-26
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.10. Change-Id: I2545a6d3ac5bf740c4ceb9e8bcd33d60707e67b9
* gnu: trealla: Update to 2.55.9.jgart2024-07-26
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.9. Change-Id: I29b5500da8e6acc382397662d4c44cf1c6e1fdf9
* gnu: trealla: Update to 2.55.8.jgart2024-07-26
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.8. Change-Id: Ia938a79d35948d56a97a8933b312916f264c31b7
* gnu: trealla: Update to 2.55.7.jgart2024-07-25
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.7. Change-Id: I6f954cfa3bcf8c6b34ee2f4ca902f3b7ef1f5b38
* gnu: trealla: Update to 2.55.6.jgart2024-07-25
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.6. Change-Id: I258ebe918fb71876fbdda7277d468f863633ef3b
* gnu: trealla: Update to 2.55.5.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.5. Change-Id: Ib9c4da341b4af4cb5ee8d72af4d51b5ecad26be6
* gnu: trealla: Update to 2.55.4.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.4. Change-Id: I6e684cf6ddd03d05910a8de6719fad767105a5c1
* gnu: trealla: Update to 2.55.3.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.3. Change-Id: Idf943e2bfc9213ed2bac51cb73d087a64a7b7eec
* gnu: trealla: Update to 2.55.2.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.2. Change-Id: I61d057db57efc30f3a957d1345f86d7b8857965f
* gnu: trealla: Update to 2.55.1.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.1. Change-Id: Ib3888d69aa7fa38c03d171a624500ed28098f031
* gnu: trealla: Update to 2.55.0.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.0. Change-Id: Ie3bdd311afae7e975ce495594a35ac20a708bb09
* gnu: trealla: Update to 2.54.6.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.54.6. Change-Id: I665c518f29bd6df3c9556209453a8638e471a197
* gnu: trealla: Update to 2.54.5.jgart2024-07-18
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.54.5. Change-Id: Ie0495ddcc1f82298cb4be9adec6dc92e7b0fa175
* gnu: trealla: Update to 2.54.3.jgart2024-07-13
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.54.3. Change-Id: Iacaca2720ae4a457c570ebcd13be0260c81aa691
* gnu: trealla: Update to 2.53.48.jgart2024-07-11
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.48. Change-Id: I2544e65003880fa5ec6d70a8ba814bb88722c3c9
* gnu: trealla: Update to 2.53.47.jgart2024-07-09
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.47. Change-Id: Ide1766e92cc2ee0ec435f02db11bcd4c73fc3642
* gnu: trealla: Update to 2.53.37.jgart2024-07-05
| | | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.37. Change-Id: Iea845c85fc4397223a3ed783ab4492928fd9473b Signed-off-by: jgart <jgart@dismail.de>
* gnu: trealla: update to 2.53.10.jgart2024-06-29
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.10. Change-Id: I6ce5bfc95faa5453d6cdb8a3b03a3f4b21241193
* gnu: trealla: update to 2.53.2.jgart2024-06-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.2. Change-Id: I6ce5bfc95faa5453d6cdb8a3b03a3f4b21241193
* gnu: trealla: update to 2.52.40.jgart2024-06-22
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.52.40. Change-Id: I746255bf4709d0ee5dc8ac40edcf566f07cbb413
* gnu: logtalk: Update to 3.80.0.宋文武2024-06-19
| | | | | | | * gnu/packages/prolog.scm (logtalk): Update to 3.80.0. Change-Id: I1ad9cd723413d44bc987bb961dd94e137dbb77eb Signed-off-by: jgart <jgart@dismail.de>
* gnu: trealla: update to 2.52.35.jgart2024-06-19
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.52.35. Change-Id: I5710c3d617aa85564533efeb8944f49aab4eee8e
* gnu: trealla: Only build with valgrind when supported.Efraim Flashner2024-06-17
| | | | | | | | | * gnu/packages/prolog.scm (trealla)[native-inputs]: Remove git. Only add valgrind when on supported platforms. [arguments]: When building without valgrind adjust the test-target to run the test suite which doesn't expect valgrind present. Change-Id: Ib2a1a4fd5eace98d4c9eba7e55663fe0ab9daa73
* gnu: Add trealla.jgart2024-06-16
| | | | | | | * gnu/packages/prolog.scm (trealla): New variable. Change-Id: I079e6dc367f207fc51dacf684b73fa55c1e0ece7 Signed-off-by: jgart <jgart@dismail.de>
* gnu: Add logtalk.宋文武2024-03-23
| | | | | | * gnu/packages/prolog.scm (logtalk): New package. Change-Id: I99e04e70b32c498b5da1f094752279e4668f3865
* gnu: swi-prolog: Update to 8.5.20.Liliana Marie Prikler2023-03-12
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.5.20.
* gnu: swi-prolog: Fix cross-compilation.Maxime Devos2022-03-11
| | | | | | | | | | | | | | | * gnu/package/prolog.scm (swi-prolog) [inputs]: Add bash-minimal. Move perl, pkg-config and texinfo to... [native-inputs]: ... here. [tests?]: Remove argument. [configure-flags]: Set BSD_SIGNALS, PROG_SWIPL, QSORT_R_GNU and CMAKE_HOST_CC when cross-compiling. [phases]{fix-cross-references}: New phase. {delete-failing-tests}: Strip trailing #t and simplify the deletion of the "save" directory. Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
* gnu: gprolog: Update to 1.5.0.Efraim Flashner2021-08-04
| | | | | | * gnu/packages/prolog.scm (gprolog): Update to 1.5.0. [arguments]: Rename custom 'change-dir-n-fix-shells to 'change-dir and remove substitution.
* gnu: swi-prolog: Update to 8.3.20.Boris A. Dekshteyn2021-03-19
| | | | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.20. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: swi-prolog: Update to 8.3.10.Brett Gilio2020-10-22
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.10.
* gnu: swi-prolog: Update to 8.3.9.Brett Gilio2020-10-16
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.9.
* gnu: Fix package references.Efraim Flashner2020-09-30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnu/packages/algebra.scm (iml)[inputs]: Correctly refer to package inputs. * gnu/packages/astronomy.scm (xplanet), * gnu/packages/audio.scm (redkite, libaudec, lv2lint, lv2toweb), * gnu/packages/bioconductor.scm (r-cummerbund), * gnu/packages/chicken.scm (chicken), * gnu/packages/conky.scm (conky), * gnu/packages/cran.scm (r-latex2exp), * gnu/packages/crates-io.scm (rust-rgb), * gnu/packages/databases.scm (mariadb), * gnu/packages/diffoscope.scm (reprotest), * gnu/packages/file-systems.scm (glusterfs), * gnu/packages/finance.scm (electron-cash), * gnu/packages/games.scm (rinutils, ksudoku, kdiamond, kigo), * gnu/packages/geo.scm (grass), * gnu/packages/gnome.scm (libmediaart, gnome-contacts, geoclue), * gnu/packages/gnucash.scm (aqbanking), * gnu/packages/image.scm (mtpaint), * gnu/packages/kde-internet.scm (kopete, ktorrent), * gnu/packages/kde-utils.scm (kmousetool, kmouth, kronometer), * gnu/packages/linphone.scm (liblinphone), * gnu/packages/maths.scm (ppl), * gnu/packages/mercury.scm (mercury-minimal), * gnu/packages/music.scm (bjumblr, bschaffl, lsp-plugins, spectacle-analyzer, helm, tap-lv2, wolf-shaper, shiru-lv2), * gnu/packages/networking.scm (restinio), * gnu/packages/prolog.scm (swi-prolog), * gnu/packages/python-web.scm (gunicorn), * gnu/packages/python-xyz.scm (python-docusign-esign), * gnu/packages/ruby.scm (ruby-cucumber, ruby_version, ruby-addressable), * gnu/packages/sagemath.scm (python-cypari2), * gnu/packages/skarnet.scm (s6-linux-init), * gnu/packages/vpn.scm (sshuttle), * gnu/packages/web.scm (libcyaml), * gnu/packages/xdisorg.scm (kbdd), * gnu/packages/xorg.scm (xpra): Same.
* gnu: swi-prolog: Update to 8.3.5.Brett Gilio2020-08-07
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.5.
* gnu: swi-prolog: Update to 8.3.4.Brett Gilio2020-07-18
| | | | | | | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.4. [arguments]: Several test phases now pass that were broken previously, so 'delete-failing-tests-(pre/post) have been removed in favor of a single 'delete-failing-tests phase after unpack. The comment was revised to reflect this change.
* gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès2020-07-12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Until now, 'lookup-origin' and thus 'lookup-origin-revision' in (guix swh) would sometimes return #f for these because the ".git" URLs are redirects to the non-".git" URLs. Consequently, 'guix lint -c archival' would keep saying "scheduled Software Heritage archival"; likewise, the fallback download code would fail. * gnu/packages/ada.scm, gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm, gnu/packages/android.scm, gnu/packages/animation.scm, gnu/packages/arcan.scm, gnu/packages/assembly.scm, gnu/packages/audio.scm, gnu/packages/authentication.scm, gnu/packages/avr.scm, gnu/packages/axoloti.scm, gnu/packages/backup.scm, gnu/packages/bash.scm, gnu/packages/benchmark.scm, gnu/packages/bioconductor.scm, gnu/packages/bioinformatics.scm, gnu/packages/bittorrent.scm, gnu/packages/boost.scm, gnu/packages/build-tools.scm, gnu/packages/c.scm, gnu/packages/calendar.scm, gnu/packages/cdrom.scm, gnu/packages/check.scm, gnu/packages/chemistry.scm, gnu/packages/chez.scm, gnu/packages/clojure.scm, gnu/packages/code.scm, gnu/packages/compression.scm, gnu/packages/compton.scm, gnu/packages/coq.scm, gnu/packages/cpp.scm, gnu/packages/cran.scm, gnu/packages/crypto.scm, gnu/packages/curl.scm, gnu/packages/databases.scm, gnu/packages/datastructures.scm, gnu/packages/debug.scm, gnu/packages/disk.scm, gnu/packages/distributed.scm, gnu/packages/django.scm, gnu/packages/dlang.scm, gnu/packages/dns.scm, gnu/packages/docker.scm, gnu/packages/education.scm, gnu/packages/efi.scm, gnu/packages/elixir.scm, gnu/packages/emacs-xyz.scm, gnu/packages/embedded.scm, gnu/packages/emulators.scm, gnu/packages/engineering.scm, gnu/packages/erlang.scm, gnu/packages/fabric-management.scm, gnu/packages/file-systems.scm, gnu/packages/finance.scm, gnu/packages/firmware.scm, gnu/packages/flashing-tools.scm, gnu/packages/fonts.scm, gnu/packages/fontutils.scm, gnu/packages/fpga.scm, gnu/packages/game-development.scm, gnu/packages/games.scm, gnu/packages/genealogy.scm, gnu/packages/genimage.scm, gnu/packages/geo.scm, gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/gnome-xyz.scm, gnu/packages/gnome.scm, gnu/packages/gnuzilla.scm, gnu/packages/golang.scm, gnu/packages/gpodder.scm, gnu/packages/graph.scm, gnu/packages/graphics.scm, gnu/packages/graphviz.scm, gnu/packages/groff.scm, gnu/packages/groovy.scm, gnu/packages/gtk.scm, gnu/packages/guile-xyz.scm, gnu/packages/guile.scm, gnu/packages/hardware.scm, gnu/packages/haskell-apps.scm, gnu/packages/haskell-xyz.scm, gnu/packages/hexedit.scm, gnu/packages/i2p.scm, gnu/packages/ibus.scm, gnu/packages/image-processing.scm, gnu/packages/image-viewers.scm, gnu/packages/image.scm, gnu/packages/ipfs.scm, gnu/packages/java-graphics.scm, gnu/packages/java-maths.scm, gnu/packages/java.scm, gnu/packages/javascript.scm, gnu/packages/jrnl.scm, gnu/packages/julia.scm, gnu/packages/jupyter.scm, gnu/packages/kodi.scm, gnu/packages/language.scm, gnu/packages/lego.scm, gnu/packages/less.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm, gnu/packages/lirc.scm, gnu/packages/lisp-xyz.scm, gnu/packages/llvm.scm, gnu/packages/logging.scm, gnu/packages/lolcode.scm, gnu/packages/lua.scm, gnu/packages/lxde.scm, gnu/packages/lxqt.scm, gnu/packages/machine-learning.scm, gnu/packages/mail.scm, gnu/packages/markup.scm, gnu/packages/maths.scm, gnu/packages/maven.scm, gnu/packages/mes.scm, gnu/packages/messaging.scm, gnu/packages/monitoring.scm, gnu/packages/mpd.scm, gnu/packages/music.scm, gnu/packages/networking.scm, gnu/packages/node-xyz.scm, gnu/packages/ocaml.scm, gnu/packages/ocr.scm, gnu/packages/onc-rpc.scm, gnu/packages/opencl.scm, gnu/packages/opencog.scm, gnu/packages/pantheon.scm, gnu/packages/password-utils.scm, gnu/packages/patchutils.scm, gnu/packages/pdf.scm, gnu/packages/perl6.scm, gnu/packages/phabricator.scm, gnu/packages/popt.scm, gnu/packages/printers.scm, gnu/packages/prolog.scm, gnu/packages/protobuf.scm, gnu/packages/pulseaudio.scm, gnu/packages/python-crypto.scm, gnu/packages/python-web.scm, gnu/packages/python-xyz.scm, gnu/packages/qt.scm, gnu/packages/radio.scm, gnu/packages/rails.scm, gnu/packages/rdf.scm, gnu/packages/rednotebook.scm, gnu/packages/rpc.scm, gnu/packages/rsync.scm, gnu/packages/ruby.scm, gnu/packages/rust.scm, gnu/packages/scheme.scm, gnu/packages/screen.scm, gnu/packages/security-token.scm, gnu/packages/selinux.scm, gnu/packages/serialization.scm, gnu/packages/shells.scm, gnu/packages/shellutils.scm, gnu/packages/simh.scm, gnu/packages/sml.scm, gnu/packages/ssh.scm, gnu/packages/statistics.scm, gnu/packages/stenography.scm, gnu/packages/sync.scm, gnu/packages/syncthing.scm, gnu/packages/synergy.scm, gnu/packages/telephony.scm, gnu/packages/terminals.scm, gnu/packages/tex.scm, gnu/packages/texinfo.scm, gnu/packages/text-editors.scm, gnu/packages/textutils.scm, gnu/packages/time.scm, gnu/packages/tmux.scm, gnu/packages/tor.scm, gnu/packages/toys.scm, gnu/packages/version-control.scm, gnu/packages/video.scm, gnu/packages/vim.scm, gnu/packages/virtualization.scm, gnu/packages/vlang.scm, gnu/packages/vnc.scm, gnu/packages/vpn.scm, gnu/packages/web-browsers.scm, gnu/packages/web.scm, gnu/packages/wireservice.scm, gnu/packages/wm.scm, gnu/packages/wxwidgets.scm, gnu/packages/xdisorg.scm, gnu/packages/xml.scm, gnu/packages/xorg.scm, tests/lint.scm: Remove trailing ".git" from 'git-reference' URL.
generated by cgit v1.2.3 (git 2.45.0) at 2025-02-27 02:51:25 +0000