summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
AgeCommit message (Collapse)AuthorFilesLines
23 hoursgnu: trealla: Update to 3.9.24.HEADmasterjgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.9.24. Change-Id: I151fe9151dedc918a8f66c2486ff7ee078894623
2 daysgnu: trealla: Update to 3.9.18.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.9.18. Change-Id: Ic2684a6623547ec0d86b7b9671624f07e803a512
3 daysgnu: trealla: Update to 3.9.11.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.9.11. Change-Id: I2628974ff84e910f9cbe11a2294edb17d703973a
4 daysgnu: trealla: Update to 3.9.4.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.9.4. Change-Id: If9eacadaf0e0db5c504398d90b5cb148ef29a87f
6 daysgnu: trealla: Update to 3.9.0.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.9.0. Change-Id: I867bc34426b48ce45b69f554e05706f525db3c02
7 daysgnu: trealla: Update to 3.8.1.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.8.1. Change-Id: I3c0b429f109b363aee88d8a055703b6ca436f0ba
9 daysgnu: trealla: Update to 3.7.4.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.7.4. Change-Id: I1e64090fda921052cda8c4453c98952ea85197d1
10 daysgnu: trealla: Update to 3.6.13.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.6.13. Change-Id: I82daa3d0f221605f45b6d85c4f2a7096eb897635
13 daysgnu: trealla: Update to 3.5.22.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.5.22. Change-Id: I878a12567831ffd6e55d1d6a81e63338e1abc9f2
14 daysgnu: trealla: Update to 3.5.18.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.5.18. Change-Id: Id9441b8850ee6e4c517da2d7804883014cbdcb29
2026-08-19gnu: trealla: Update to 3.5.9.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.5.9. Change-Id: I36e14aca053bcc3b0b9b86cc852c8762b816b66a
2026-08-17gnu: trealla: Update to 3.4.10.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.4.10. Change-Id: Ic036485f2708f8b9b9c1a6faf12ebbe23806882d
2026-08-11gnu: trealla: Update to 3.1.31.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.1.31. Change-Id: Id1d118075d3caffd34098729cf0df536761968fc
2026-08-10gnu: trealla: Update to 3.1.28.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.1.28. Change-Id: I31a54c7e98fa3d8e205bbaf1c64cd21b50b7adda
2026-08-07gnu: trealla: Update to 3.1.27.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.1.27. Change-Id: I0cb6f76361d63a65be7927467827000d5b4f0b26
2026-08-06gnu: trealla: Update to 3.1.25.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.1.25. Change-Id: I7191312ed655b9427dd98b3f0f613d1eaba43fc9
2026-08-05gnu: trealla: Update to 3.1.24.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.1.24. Change-Id: I31738686f9301f129fd4c1310608214772a85c27
2026-08-04gnu: trealla: Update to 3.1.19.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.1.19. Change-Id: Id666d5fb4723c0241a29ad3c1cca0688040da2bb
2026-08-03gnu: trealla: Update to 3.1.11.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.1.11. Change-Id: I53d21aa4649c0c14f5df3407dadd31171d8ed2ac
2026-07-31gnu: trealla: Update to 3.1.2.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.1.2. Change-Id: I2a9f4a95c5102dde0cc7c38e81a0693c941128db
2026-07-27gnu: trealla: Update to 3.0.5.jgart1-3/+3
* gnu/packages/prolog.scm (trealla): Update to 3.0.5. [arguments]: Update Makefile name to reflect source repo. Change-Id: Ice8ee6f92f96b8019abc12b96412d6209ae5c567
2026-07-26gnu: trealla: Update to 3.0.0.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 3.0.0. Change-Id: I122c19c1f01c0e0d298fa91c43a959c65fa73ab9
2026-07-23gnu: trealla: Update to 2.108.4.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.108.4. Change-Id: If1669ae0ad30aa086bd9ec9a1a3d615ac580c6a6
2026-07-21gnu: trealla: Update to 2.107.1.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.107.1. Change-Id: I36ec7495c8d87de48e6899c03c34cbc2c517b3b1
2026-07-21gnu: trealla: Update to 2.106.2.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.106.2. Change-Id: Ibd8a22df9d3179a9cb718ac04d57b07deaa47a40
2026-07-16gnu: trealla: Update to 2.106.1.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.106.1. Change-Id: I890d3bc86983d5ea4d8d67ace0fcce91bf49cadd
2026-07-14gnu: trealla: Update to 2.103.16.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.103.16. Change-Id: Ib560ccadfaf364df224ff143d38ced543a69078e
2026-07-13gnu: trealla: Update to 2.103.13.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.103.13. Change-Id: If636cea29bbb59498e2f6d711c9b8267e0c9180c
2026-07-12gnu: trealla: Update to 2.103.12.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.103.12. Change-Id: Ibabc3313142cfd2fe1b074dfcacb0dbb08a3484b
2026-07-10gnu: trealla: Update to 2.103.11.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.103.11. Change-Id: I62c9d414bb018e719b462c49f6d61401a3552f0e
2026-07-09gnu: trealla: Update to 2.103.10.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.103.10. Change-Id: I75986a056b3551f4241597a9083b99cde0d272ac
2026-07-07gnu: trealla: Update to 2.103.8.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.103.8. Change-Id: Ibaaa1d8729d4a3857b1f1a119b863a973f494954
2026-07-06gnu: trealla: Update to 2.103.6.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.103.6. Change-Id: Idd02d92cff759da274f584e17f782ee33f2ebf17
2026-07-02gnu: trealla: Update to 2.103.1.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.103.1. Change-Id: I170bd9ad23b3e1a931163fd5e19e843354ef0b44
2026-07-01gnu: trealla: Update to 2.102.52.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.52. Change-Id: I2ece69b72f52b43d2ed9d02700f977efa1636eba
2026-06-30gnu: trealla: Update to 2.102.47.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.47. Change-Id: I5194c9bee52ad8e200dc52fcd85aa893014f1710
2026-06-29gnu: trealla: Update to 2.102.45.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.45. Change-Id: Idf2fa4ab6abe772d67f5d64517890759630b8ae0
2026-06-28gnu: trealla: Update to 2.102.42.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.42. Change-Id: Id89f84f8f0913cc7d304b70690b818f016db862a
2026-06-26gnu: trealla: Update to 2.102.40.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.40. Change-Id: I925f01f0815c88720f52c58f7699514792743c31
2026-06-25gnu: trealla: Update to 2.102.39.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.39. Change-Id: I74933af77885ed607065cdd1aef6a7c32e6c4513
2026-06-24gnu: trealla: Update to 2.102.38.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.38. Change-Id: Id05d8b546fad7df69b8f04b56cda2e919380d026
2026-06-23gnu: trealla: Update to 2.102.36.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.36. Change-Id: Id92212bd43e2ce79d3234b54a98c7bf97c1ee9b1
2026-06-18gnu: trealla: Update to 2.102.30.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.30. Change-Id: I7b685058dfeead2e624c52925e26ca9dab5aab17
2026-06-17gnu: trealla: Update to 2.102.29.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.29. Change-Id: If01c06eaddbdfc866aa1c0ed03ab3fce336f7247
2026-06-17gnu: trealla: Update to 2.102.27.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.27. Change-Id: I110190de110e72a51ffc992a7b542653a800c42d
2026-06-12gnu: trealla: Update to 2.102.26.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.26. Change-Id: I9bdaf18e22753b0364ad662bce432a990258eda9
2026-06-10gnu: trealla: Update to 2.102.21.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.21. Change-Id: I1ae431f81d6ff2a84b8825397b7bd1d94c919091
2026-06-09gnu: trealla: Update to 2.102.20.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.20. Change-Id: I109e74327cc341394f71f4728b700efc247d0264
2026-06-08gnu: trealla: Update to 2.102.13.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.13. Change-Id: Idd362d96b2fa298f9c41e55510ab4d6828a1b27b
2026-06-05gnu: trealla: Update to 2.102.9.jgart1-2/+2
* gnu/packages/prolog.scm (trealla): Update to 2.102.9. Change-Id: I44284036fe8647123d58214197e37227898a637b