jgart
|
798f28ab0d
|
gnu: trealla: Update to 2.81.3.
* gnu/packages/prolog.scm (trealla): Update to 2.81.3.
Change-Id: I4d55a8986c7c7fa7eaa8527c4f9b79de1262e1ad
|
2025-08-09 08:29:00 -05:00 |
|
jgart
|
b94f60c06c
|
gnu: trealla: Update to 2.81.1.
* gnu/packages/prolog.scm (trealla): Update to 2.81.1.
Change-Id: Icfd01f6d6419ea1274f48173c813cd365dfa463f
|
2025-08-08 12:34:34 -05:00 |
|
jgart
|
b2011d18b7
|
gnu: trealla: Update to 2.80.13.
* gnu/packages/prolog.scm (trealla): Update to 2.80.13.
Change-Id: Ie8304c3df3e912519606f65fecc40625dcfcf65a
|
2025-08-07 09:03:04 -05:00 |
|
jgart
|
10c0ddb5dd
|
gnu: trealla: Update to 2.80.10.
* gnu/packages/prolog.scm (trealla): Update to 2.80.10.
Change-Id: I1ff0fb1d18b87adce7e9eb2d7bbe7d334a3c1774
|
2025-08-05 13:32:23 -05:00 |
|
jgart
|
6cce6c53ea
|
gnu: trealla: Update to 2.80.4.
* gnu/packages/prolog.scm (trealla): Update to 2.80.4.
Change-Id: Ie7eadb85f7b98cafc388e0f89ecbb43c66c9538d
|
2025-08-04 20:17:08 -05:00 |
|
jgart
|
b88e6cc29b
|
gnu: trealla: Update to 2.79.22.
* gnu/packages/prolog.scm (trealla): Update to 2.79.22.
Change-Id: I31a08fc6f0ac329180d782a3fde9a2843014c977
|
2025-08-01 16:00:47 -05:00 |
|
jgart
|
743f5adb88
|
gnu: trealla: Update to 2.79.16.
* gnu/packages/prolog.scm (trealla): Update to 2.79.16.
Change-Id: I0ce4b6ce98bc55ee181fa32e0d9d371702372f50
|
2025-07-31 14:43:00 -05:00 |
|
jgart
|
a913acebd1
|
gnu: trealla: Update to 2.79.10.
* gnu/packages/prolog.scm (trealla): Update to 2.79.10.
Change-Id: I7c7aeef3ac6ce1a8a633c4ad83405e80641c5da8
|
2025-07-29 14:50:33 -05:00 |
|
jgart
|
e190129f2c
|
gnu: trealla: Update to 2.79.7.
* gnu/packages/prolog.scm (trealla): Update to 2.79.7.
Change-Id: I6cd2876ecbe3e566d5a3b9d693746fcb79920421
|
2025-07-28 11:28:32 -05:00 |
|
jgart
|
fb8574b148
|
gnu: trealla: Update to 2.79.6.
* gnu/packages/prolog.scm (trealla): Update to 2.79.6.
Change-Id: Icdd674944e3f9940e6e48aab29ae4afc241e97f2
|
2025-07-28 00:05:08 -05:00 |
|
jgart
|
4f368f0cfa
|
gnu: trealla: Update to 2.79.0.
* gnu/packages/prolog.scm (trealla): Update to 2.79.0.
Change-Id: I3f40585484000d5c010728a6574a2bb843efeaab
|
2025-07-26 16:10:45 -05:00 |
|
jgart
|
b6980eb588
|
gnu: trealla: Update to 2.78.40.
* gnu/packages/prolog.scm (trealla): Update to 2.78.40.
Change-Id: I45f128fc318e60679c5f9ab2213434f2c0ae2314
|
2025-07-25 10:33:05 -05:00 |
|
jgart
|
523be5554d
|
gnu: trealla: Update to 2.78.37.
* gnu/packages/prolog.scm (trealla): Update to 2.78.37.
Change-Id: I126fad358c80d6e1cae7212162e53e6f5a278ba8
|
2025-07-24 10:29:08 -05:00 |
|
jgart
|
aff946d349
|
gnu: trealla: Update to 2.78.24.
* gnu/packages/prolog.scm (trealla): Update to 2.78.24.
Change-Id: I76a80e34757276e0bd43b1d74c8f6027a47c8b23
|
2025-07-20 10:32:28 -05:00 |
|
jgart
|
2ecfaa02a2
|
gnu: trealla: Update to 2.78.23.
* gnu/packages/prolog.scm (trealla): Update to 2.78.23.
Change-Id: I7f3fdc0a01e8ba846399e302763f5210d296e5a8
|
2025-07-18 02:46:13 -05:00 |
|
jgart
|
a465df6fd6
|
gnu: trealla: Update to 2.78.20.
* gnu/packages/prolog.scm (trealla): Update to 2.78.20.
Change-Id: If531f340a4a9869b300d9035f5d56b8eda10a79b
|
2025-07-17 12:54:34 -05:00 |
|
jgart
|
9ccf394bd7
|
gnu: trealla: Update to 2.78.17.
* gnu/packages/prolog.scm (trealla): Update to 2.78.17.
Change-Id: Ib1d377ed88d8d1cc770d8b509f13cd3b53dfa8da
|
2025-07-15 13:57:55 -05:00 |
|
jgart
|
cb2cc952b3
|
gnu: trealla: Update to 2.78.11.
* gnu/packages/prolog.scm (trealla): Update to 2.78.11.
Change-Id: Iaf62515c6534523a41452b618a2a0846fcd03144
|
2025-07-14 10:05:48 -05:00 |
|
jgart
|
b1438011b3
|
gnu: trealla: Update to 2.78.7.
* gnu/packages/prolog.scm (trealla): Update to 2.78.7.
Change-Id: Ic8357987219787dcfc7d33168372fd875a152599
|
2025-07-12 10:35:11 -05:00 |
|
jgart
|
227fb11eb3
|
gnu: trealla: Update to 2.78.5.
* gnu/packages/prolog.scm (trealla): Update to 2.78.5.
Change-Id: I9cf38d93b78713bc8fc9eb6e7ece54aeab541a38
|
2025-07-11 17:07:41 -05:00 |
|
jgart
|
ca3a6bc119
|
gnu: trealla: Update to 2.78.0.
* gnu/packages/prolog.scm (trealla): Update to 2.78.0.
Change-Id: I9da4bb040a199d7746f75d0c0fe12e4cbb07ac3f
|
2025-07-10 09:04:56 -05:00 |
|
jgart
|
6edf7086bf
|
gnu: trealla: Update to 2.77.51.
* gnu/packages/prolog.scm (trealla): Update to 2.77.51.
Change-Id: I786fd26ee4dc0ecb51d4447741e66fe2ee074c15
|
2025-07-09 16:17:16 -05:00 |
|
jgart
|
e51a7178b2
|
gnu: trealla: Update to 2.77.49.
* gnu/packages/prolog.scm (trealla): Update to 2.77.49.
Change-Id: Ic303eb9a0590853062786b1ae01b9f9efc7f0c43
|
2025-07-08 00:42:34 -05:00 |
|
jgart
|
a102022c1b
|
gnu: trealla: Update to 2.77.48.
* gnu/packages/prolog.scm (trealla): Update to 2.77.48.
Change-Id: Ic3bd9f99561a6b186d1536222dd54da0e6bb4d3c
|
2025-07-07 09:33:03 -05:00 |
|
jgart
|
f66eaab175
|
gnu: trealla: Update to 2.77.34.
* gnu/packages/prolog.scm (trealla): Update to 2.77.34.
Change-Id: I33ad31b5b7185fea342b137055b5b3979d0f5fea
|
2025-07-03 10:16:43 -05:00 |
|
jgart
|
0af2e2b1ac
|
gnu: trealla: Update to 2.77.30.
* gnu/packages/prolog.scm (trealla): Update to 2.77.30.
Change-Id: I44576b4edc07f1afc060eea0920dd6e2004be8aa
|
2025-07-02 00:49:50 -05:00 |
|
jgart
|
f3c8f620a3
|
gnu: trealla: Update to 2.77.27.
* gnu/packages/prolog.scm (trealla): Update to 2.77.27.
Change-Id: I3e7bb4cc35d923965585979c95803d88cafbcf72
|
2025-07-01 10:48:06 -05:00 |
|
jgart
|
25522dab13
|
gnu: trealla: Update to 2.77.23.
* gnu/packages/prolog.scm (trealla): Update to 2.77.23.
Change-Id: Ia231b26b686e1e029f61286449ad410bed971ba0
|
2025-06-30 11:56:45 -05:00 |
|
jgart
|
4eecab5c69
|
gnu: trealla: Update to 2.77.14.
* gnu/packages/prolog.scm (trealla): Update to 2.77.14.
Change-Id: If1154bb0f60532b10282639369e0b6db1453309e
|
2025-06-29 23:25:15 -05:00 |
|
jgart
|
da825d1064
|
gnu: trealla: Update to 2.77.13.
* gnu/packages/prolog.scm (trealla): Update to 2.77.13.
Change-Id: I85756b02736991a651afe6fbb14563ff5044b5fe
|
2025-06-29 15:16:21 -04:00 |
|
jgart
|
93d10b5f4e
|
gnu: trealla: Update to 2.77.1.
* gnu/packages/prolog.scm (trealla): Update to 2.77.1.
Change-Id: I6058c673b2616364562d9aa31e9be8ee19fd6744
|
2025-06-27 12:04:09 -04:00 |
|
jgart
|
c2a7435f39
|
gnu: trealla: Update to 2.76.1.
* gnu/packages/prolog.scm (trealla): Update to 2.76.1.
Change-Id: I290cae5d3185a6a431a78f280099e2b2b99b180c
|
2025-06-26 16:39:01 -04:00 |
|
jgart
|
3125e1b499
|
gnu: trealla: Update to 2.76.0.
* gnu/packages/prolog.scm (trealla): Update to 2.76.0.
Change-Id: Iffdc23fd3e0c57f053a611781bdbad3c12da930f
|
2025-06-26 03:41:13 -04:00 |
|
jgart
|
1728c1a1b0
|
gnu: trealla: Update to 2.75.3.
* gnu/packages/prolog.scm (trealla): Update to 2.75.3.
Change-Id: I00615a93834a3f9a0409097633ecff29bef28fe5
|
2025-06-25 16:12:11 -04:00 |
|
jgart
|
e6dfa60b0b
|
gnu: trealla: Update to 2.75.0.
* gnu/packages/prolog.scm (trealla): Update to 2.75.0.
Change-Id: I29748a9864eee07d698e055eab50a3c458b2814c
|
2025-06-24 02:37:04 -04:00 |
|
jgart
|
c46f59a2dd
|
gnu: trealla: Update to 2.74.26.
* gnu/packages/prolog.scm (trealla): Update to 2.74.26.
Change-Id: I756865e2d2dbd69d061a2b1fd04a2bd568f6af13
|
2025-06-23 14:46:53 -04:00 |
|
jgart
|
ddb9278847
|
gnu: trealla: Update to 2.74.24.
* gnu/packages/prolog.scm (trealla): Update to 2.74.24.
Change-Id: Ief6ce151d06f64d01f84593451f1d37d22dce34c
|
2025-06-23 11:07:07 -04:00 |
|
jgart
|
f511be7bcc
|
gnu: trealla: Update to 2.74.23.
* gnu/packages/prolog.scm (trealla): Update to 2.74.23.
Change-Id: Iaee68925dc45e05e8309d80332c1ee1c020aef1f
|
2025-06-22 21:24:19 -04:00 |
|
jgart
|
c4c39de369
|
gnu: trealla: Update to 2.74.10.
* gnu/packages/prolog.scm (trealla): Update to 2.74.10.
Change-Id: Ia2b78acbefbcd4cc68bde7084ffb75b46377f3ee
|
2025-06-21 12:58:04 -04:00 |
|
jgart
|
fb26d5e273
|
gnu: trealla: Update to 2.74.8.
* gnu/packages/prolog.scm (trealla): Update to 2.74.8.
Change-Id: I9a9710fde5aa027c8e501cbf5d89b380a043f3a9
|
2025-06-20 11:29:00 -04:00 |
|
jgart
|
6a69d48e0e
|
gnu: trealla: Update to 2.74.7.
* gnu/packages/prolog.scm (trealla): Update to 2.74.7.
Change-Id: I21148cd311d401568cf150cadad27a27c2c4c026
|
2025-06-19 20:03:14 -04:00 |
|
jgart
|
c6ed8c60a3
|
gnu: trealla: Update to 2.74.4.
* gnu/packages/prolog.scm (trealla): Update to 2.74.4.
Change-Id: I555349aad2b325050689673863f760cf1eea0871
|
2025-06-19 08:59:18 -04:00 |
|
jgart
|
f619f50b65
|
gnu: trealla: Update to 2.74.2.
* gnu/packages/prolog.scm (trealla): Update to 2.74.2.
Change-Id: I544436ff88dfacc55123245b3ef0cb21afc1523e
|
2025-06-18 18:58:06 -04:00 |
|
jgart
|
cc5ddb3a9f
|
gnu: trealla: Update to 2.73.16.
* gnu/packages/prolog.scm (trealla): Update to 2.73.16.
Change-Id: I59b8fdf706ba601164b6a50bf8d88426744266ba
|
2025-06-17 10:56:09 -04:00 |
|
jgart
|
de5244ca31
|
gnu: trealla: Update to 2.73.14.
* gnu/packages/prolog.scm (trealla): Update to 2.73.14.
Change-Id: Ie2b0066b4fad75cde9fd72cd4019807b04331628
|
2025-06-16 18:00:13 -04:00 |
|
jgart
|
727acbcd21
|
gnu: trealla: Update to 2.73.10.
* gnu/packages/prolog.scm (trealla): Update to 2.73.10.
Change-Id: I340953c0ab28f2277a29e829d3f8db52ca518bb9
|
2025-06-14 22:22:42 -04:00 |
|
jgart
|
7222d9d365
|
gnu: trealla: Update to 2.73.9.
* gnu/packages/prolog.scm (trealla): Update to 2.73.9.
Change-Id: I0dab6856051a2184d3bd66d249426dafb8fb1c88
|
2025-06-14 16:05:10 -05:00 |
|
jgart
|
d1b0b09d1f
|
gnu: trealla: Update to 2.73.7.
* gnu/packages/prolog.scm (trealla): Update to 2.73.7.
Change-Id: I62fb376636d9f44db58480033a2c92b4f4c1044f
|
2025-06-12 21:25:14 -05:00 |
|
jgart
|
44ce67fdb8
|
gnu: trealla: Update to 2.73.5.
* gnu/packages/prolog.scm (trealla): Update to 2.73.5.
Change-Id: I54a3d4f513bae1fe35bf220fcbfb14deca93d24e
|
2025-06-12 11:22:42 -05:00 |
|
jgart
|
89206987b4
|
gnu: trealla: Update to 2.73.4.
* gnu/packages/prolog.scm (trealla): Update to 2.73.4.
Change-Id: Ic4c3d10ad08f46c15557088ecd94d12d24d8343c
|
2025-06-11 20:34:43 -05:00 |
|