jgart
|
67f5f23c88
|
gnu: trealla: Update to 2.83.9.
* gnu/packages/prolog.scm (trealla): Update to 2.83.9.
Change-Id: I8ca5daedef142f6f88a9f22283a7c0e9a518320a
|
2025-09-26 11:30:07 -05:00 |
|
jgart
|
ace78713a9
|
gnu: trealla: Update to 2.83.8.
* gnu/packages/prolog.scm (trealla): Update to 2.83.8.
Change-Id: I190612b48e6a69e31384bb12d81465a668f2de59
|
2025-09-25 10:55:50 -05:00 |
|
jgart
|
aabe0d2c30
|
gnu: trealla: Update to 2.83.5.
* gnu/packages/prolog.scm (trealla): Update to 2.83.5.
Change-Id: I9d36c4d23ca8412c466d69fbb8387185f54b9684
|
2025-09-24 14:48:14 -05:00 |
|
jgart
|
f662d53406
|
gnu: trealla: Update to 2.83.4.
* gnu/packages/prolog.scm (trealla): Update to 2.83.4.
Change-Id: I893a4d728734c3e7bed61b740b6a7eed7f1f7d9f
|
2025-09-22 10:35:51 -05:00 |
|
jgart
|
1c73ab126d
|
gnu: trealla: Update to 2.82.40.
* gnu/packages/prolog.scm (trealla): Update to 2.82.40.
Change-Id: I005ae12838910aa9894ab60e1b21ddaae9c850dd
|
2025-09-19 09:16:17 -05:00 |
|
jgart
|
0a7738536b
|
gnu: trealla: Update to 2.82.39.
* gnu/packages/prolog.scm (trealla): Update to 2.82.39.
Change-Id: I6594127d1b518d087a81a7d606f8727db517dd2c
|
2025-09-18 08:45:09 -05:00 |
|
jgart
|
036e8fada3
|
gnu: trealla: Update to 2.82.36.
* gnu/packages/prolog.scm (trealla): Update to 2.82.36.
Change-Id: Ib70c28036151de9dc229a0bd8e90ebaec5f455a6
|
2025-09-17 09:51:22 -05:00 |
|
jgart
|
2ed4446602
|
gnu: trealla: Update to 2.82.35.
* gnu/packages/prolog.scm (trealla): Update to 2.82.35.
Change-Id: Ie2f30055953e3bccd72b4ac3b51799b67d40091e
|
2025-09-16 08:30:38 -05:00 |
|
jgart
|
3d3ae727d6
|
gnu: trealla: Update to 2.82.34.
* gnu/packages/prolog.scm (trealla): Update to 2.82.34.
Change-Id: Ie776cf17c23e92d4e9880b714fdca154f37e516e
|
2025-09-15 11:17:00 -05:00 |
|
jgart
|
94ec8623a8
|
gnu: trealla: Update to 2.82.33.
* gnu/packages/prolog.scm (trealla): Update to 2.82.33.
Change-Id: I7d9d81bcc952215d0d12c8463967ccbba9337516
|
2025-09-12 15:52:40 -05:00 |
|
jgart
|
76662bc1b9
|
gnu: trealla: Update to 2.82.32.
* gnu/packages/prolog.scm (trealla): Update to 2.82.32.
Change-Id: Ib5afd2251d5ac15c4bedc1bb6cd54a07e6be7531
|
2025-09-08 15:39:13 -05:00 |
|
jgart
|
72fbf4c8db
|
gnu: trealla: Update to 2.82.31.
* gnu/packages/prolog.scm (trealla): Update to 2.82.31.
Change-Id: If99ee25ea8b308566079376f92b0856f084a68fa
|
2025-09-07 22:56:57 -05:00 |
|
jgart
|
1add2f5df7
|
gnu: trealla: Update to 2.82.30.
* gnu/packages/prolog.scm (trealla): Update to 2.82.30.
Change-Id: I5887ce4bb86a3f90fc88637b7efeda20099a9318
|
2025-09-03 21:05:30 -05:00 |
|
jgart
|
8fc33ef848
|
gnu: trealla: Update to 2.82.29.
* gnu/packages/prolog.scm (trealla): Update to 2.82.29.
Change-Id: I98c93dc3897a1aa708703c1d5eae1664c89ef801
|
2025-09-03 09:33:10 -05:00 |
|
jgart
|
c65c189c62
|
gnu: trealla: Update to 2.82.28.
* gnu/packages/prolog.scm (trealla): Update to 2.82.28.
Change-Id: I6c79deaf11465c3eab90b8e0a0466b4e808b5d67
|
2025-09-02 12:18:29 -05:00 |
|
jgart
|
293b1bd9c7
|
gnu: trealla: Update to 2.82.25.
* gnu/packages/prolog.scm (trealla): Update to 2.82.25.
Change-Id: I6e90a4921409459b0ec94d198fb9302298c5f840
|
2025-08-30 11:55:08 -05:00 |
|
jgart
|
ea7ce1318f
|
gnu: trealla: Update to 2.82.23.
* gnu/packages/prolog.scm (trealla): Update to 2.82.23.
Change-Id: I37453195864532c4439fac151f76896ba0a89e2c
|
2025-08-27 16:40:07 -05:00 |
|
jgart
|
ae3442af3b
|
gnu: trealla: Update to 2.82.22.
* gnu/packages/prolog.scm (trealla): Update to 2.82.22.
Change-Id: I7954674aacd2d3e0908edfd586636b999cfb64b2
|
2025-08-26 09:30:01 -05:00 |
|
jgart
|
ef6b09983f
|
gnu: trealla: Update to 2.82.20.
* gnu/packages/prolog.scm (trealla): Update to 2.82.20.
Change-Id: Ic8e5c4c7ba5febfec85b6bab129cb0a179e5e034
|
2025-08-24 20:59:37 -05:00 |
|
jgart
|
f0ad795755
|
gnu: trealla: Update to 2.82.16.
* gnu/packages/prolog.scm (trealla): Update to 2.82.16.
Change-Id: Id872894e44b79cd7c54ed00cacb3301e83d27cee
|
2025-08-22 21:49:24 -05:00 |
|
jgart
|
6e36e2af63
|
gnu: trealla: Update to 2.82.14.
* gnu/packages/prolog.scm (trealla): Update to 2.82.14.
Change-Id: I2bb8d5f7580935a3f3b960b7e5631456177307bc
|
2025-08-18 15:13:41 -05:00 |
|
jgart
|
5940faa8d1
|
gnu: trealla: Update to 2.82.9.
* gnu/packages/prolog.scm (trealla): Update to 2.82.9.
Change-Id: I8f1adf02ea011464189e5ae82473210a0b79c53b
|
2025-08-14 09:17:01 -05:00 |
|
jgart
|
ccc5acdd0f
|
gnu: trealla: Update to 2.82.6.
* gnu/packages/prolog.scm (trealla): Update to 2.82.6.
Change-Id: Ia8867285e3ce98609475c3b8059a062d3e350dde
|
2025-08-13 10:49:16 -05:00 |
|
jgart
|
b1aade581e
|
gnu: trealla: Update to 2.82.2.
* gnu/packages/prolog.scm (trealla): Update to 2.82.2.
Change-Id: I93473f406533bba689de275badcc97b6f92d2a4a
|
2025-08-11 10:21:46 -05:00 |
|
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 |
|