summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
AgeCommit message (Collapse)Author
2 daysgnu: trealla: Update to 2.79.22.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.79.22. Change-Id: I31a08fc6f0ac329180d782a3fde9a2843014c977
3 daysgnu: trealla: Update to 2.79.16.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.79.16. Change-Id: I0ce4b6ce98bc55ee181fa32e0d9d371702372f50
5 daysgnu: trealla: Update to 2.79.10.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.79.10. Change-Id: I7c7aeef3ac6ce1a8a633c4ad83405e80641c5da8
6 daysgnu: trealla: Update to 2.79.7.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.79.7. Change-Id: I6cd2876ecbe3e566d5a3b9d693746fcb79920421
7 daysgnu: trealla: Update to 2.79.6.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.79.6. Change-Id: Icdd674944e3f9940e6e48aab29ae4afc241e97f2
8 daysgnu: trealla: Update to 2.79.0.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.79.0. Change-Id: I3f40585484000d5c010728a6574a2bb843efeaab
9 daysgnu: trealla: Update to 2.78.40.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.40. Change-Id: I45f128fc318e60679c5f9ab2213434f2c0ae2314
10 daysgnu: trealla: Update to 2.78.37.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.37. Change-Id: I126fad358c80d6e1cae7212162e53e6f5a278ba8
2025-07-20gnu: trealla: Update to 2.78.24.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.24. Change-Id: I76a80e34757276e0bd43b1d74c8f6027a47c8b23
2025-07-18gnu: trealla: Update to 2.78.23.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.23. Change-Id: I7f3fdc0a01e8ba846399e302763f5210d296e5a8
2025-07-17gnu: trealla: Update to 2.78.20.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.20. Change-Id: If531f340a4a9869b300d9035f5d56b8eda10a79b
2025-07-15gnu: trealla: Update to 2.78.17.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.17. Change-Id: Ib1d377ed88d8d1cc770d8b509f13cd3b53dfa8da
2025-07-14gnu: trealla: Update to 2.78.11.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.11. Change-Id: Iaf62515c6534523a41452b618a2a0846fcd03144
2025-07-12gnu: trealla: Update to 2.78.7.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.7. Change-Id: Ic8357987219787dcfc7d33168372fd875a152599
2025-07-11gnu: trealla: Update to 2.78.5.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.5. Change-Id: I9cf38d93b78713bc8fc9eb6e7ece54aeab541a38
2025-07-10gnu: trealla: Update to 2.78.0.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.78.0. Change-Id: I9da4bb040a199d7746f75d0c0fe12e4cbb07ac3f
2025-07-09gnu: trealla: Update to 2.77.51.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.51. Change-Id: I786fd26ee4dc0ecb51d4447741e66fe2ee074c15
2025-07-08gnu: trealla: Update to 2.77.49.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.49. Change-Id: Ic303eb9a0590853062786b1ae01b9f9efc7f0c43
2025-07-07gnu: trealla: Update to 2.77.48.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.48. Change-Id: Ic3bd9f99561a6b186d1536222dd54da0e6bb4d3c
2025-07-03gnu: trealla: Update to 2.77.34.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.34. Change-Id: I33ad31b5b7185fea342b137055b5b3979d0f5fea
2025-07-02gnu: trealla: Update to 2.77.30.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.30. Change-Id: I44576b4edc07f1afc060eea0920dd6e2004be8aa
2025-07-01gnu: trealla: Update to 2.77.27.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.27. Change-Id: I3e7bb4cc35d923965585979c95803d88cafbcf72
2025-06-30gnu: trealla: Update to 2.77.23.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.23. Change-Id: Ia231b26b686e1e029f61286449ad410bed971ba0
2025-06-29gnu: trealla: Update to 2.77.14.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.14. Change-Id: If1154bb0f60532b10282639369e0b6db1453309e
2025-06-29gnu: trealla: Update to 2.77.13.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.13. Change-Id: I85756b02736991a651afe6fbb14563ff5044b5fe
2025-06-27gnu: trealla: Update to 2.77.1.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.77.1. Change-Id: I6058c673b2616364562d9aa31e9be8ee19fd6744
2025-06-26gnu: trealla: Update to 2.76.1.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.76.1. Change-Id: I290cae5d3185a6a431a78f280099e2b2b99b180c
2025-06-26gnu: trealla: Update to 2.76.0.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.76.0. Change-Id: Iffdc23fd3e0c57f053a611781bdbad3c12da930f
2025-06-25gnu: trealla: Update to 2.75.3.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.75.3. Change-Id: I00615a93834a3f9a0409097633ecff29bef28fe5
2025-06-24gnu: trealla: Update to 2.75.0.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.75.0. Change-Id: I29748a9864eee07d698e055eab50a3c458b2814c
2025-06-23gnu: trealla: Update to 2.74.26.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.74.26. Change-Id: I756865e2d2dbd69d061a2b1fd04a2bd568f6af13
2025-06-23gnu: trealla: Update to 2.74.24.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.74.24. Change-Id: Ief6ce151d06f64d01f84593451f1d37d22dce34c
2025-06-22gnu: trealla: Update to 2.74.23.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.74.23. Change-Id: Iaee68925dc45e05e8309d80332c1ee1c020aef1f
2025-06-21gnu: trealla: Update to 2.74.10.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.74.10. Change-Id: Ia2b78acbefbcd4cc68bde7084ffb75b46377f3ee
2025-06-20gnu: trealla: Update to 2.74.8.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.74.8. Change-Id: I9a9710fde5aa027c8e501cbf5d89b380a043f3a9
2025-06-19gnu: trealla: Update to 2.74.7.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.74.7. Change-Id: I21148cd311d401568cf150cadad27a27c2c4c026
2025-06-19gnu: trealla: Update to 2.74.4.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.74.4. Change-Id: I555349aad2b325050689673863f760cf1eea0871
2025-06-18gnu: trealla: Update to 2.74.2.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.74.2. Change-Id: I544436ff88dfacc55123245b3ef0cb21afc1523e
2025-06-17gnu: trealla: Update to 2.73.16.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.16. Change-Id: I59b8fdf706ba601164b6a50bf8d88426744266ba
2025-06-16gnu: trealla: Update to 2.73.14.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.14. Change-Id: Ie2b0066b4fad75cde9fd72cd4019807b04331628
2025-06-14gnu: trealla: Update to 2.73.10.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.10. Change-Id: I340953c0ab28f2277a29e829d3f8db52ca518bb9
2025-06-14gnu: trealla: Update to 2.73.9.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.9. Change-Id: I0dab6856051a2184d3bd66d249426dafb8fb1c88
2025-06-12gnu: trealla: Update to 2.73.7.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.7. Change-Id: I62fb376636d9f44db58480033a2c92b4f4c1044f
2025-06-12gnu: trealla: Update to 2.73.5.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.5. Change-Id: I54a3d4f513bae1fe35bf220fcbfb14deca93d24e
2025-06-11gnu: trealla: Update to 2.73.4.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.4. Change-Id: Ic4c3d10ad08f46c15557088ecd94d12d24d8343c
2025-06-08gnu: swi-prolog: Use shell from our inputs at runtime.B. Wilson
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Set POSIX_SHELL build variable. Closes: #119 Change-Id: Icf7464bc48e8cd6b89da44fbf13cff3fe8933a24 Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2025-06-07gnu: trealla: Update to 2.73.3.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.3. Change-Id: Id036c5ae937413dcc88c72dc3e7da448121363f9
2025-06-06gnu: trealla: Update to 2.73.1.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.73.1. Change-Id: I8fa410cd75b1c1722b737f08dc740280c04d1e4f
2025-05-24gnu: trealla: Update to 2.71.33.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.71.33. Change-Id: Ib9b6d76a58759274cc614e1614f0535cfbc42f31
2025-05-23gnu: trealla: Update to 2.71.31.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.71.31. Change-Id: I87a710ef3fafd05d4c15d1cb0e23364ca26429ca