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 |
|
B. Wilson
|
cb8727f593
|
gnu: swi-prolog: Use shell from our inputs at runtime.
* 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-08 10:57:30 +08:00 |
|
jgart
|
ce78c0489b
|
gnu: trealla: Update to 2.73.3.
* gnu/packages/prolog.scm (trealla): Update to 2.73.3.
Change-Id: Id036c5ae937413dcc88c72dc3e7da448121363f9
|
2025-06-07 15:02:32 -05:00 |
|
jgart
|
cd385f04bc
|
gnu: trealla: Update to 2.73.1.
* gnu/packages/prolog.scm (trealla): Update to 2.73.1.
Change-Id: I8fa410cd75b1c1722b737f08dc740280c04d1e4f
|
2025-06-06 13:12:19 -05:00 |
|
jgart
|
46402c383f
|
gnu: trealla: Update to 2.71.33.
* gnu/packages/prolog.scm (trealla): Update to 2.71.33.
Change-Id: Ib9b6d76a58759274cc614e1614f0535cfbc42f31
|
2025-05-24 20:19:33 -05:00 |
|
jgart
|
cdb2af7c3a
|
gnu: trealla: Update to 2.71.31.
* gnu/packages/prolog.scm (trealla): Update to 2.71.31.
Change-Id: I87a710ef3fafd05d4c15d1cb0e23364ca26429ca
|
2025-05-23 15:34:48 -05:00 |
|
jgart
|
ff5e0455ee
|
gnu: trealla: Update to 2.71.29.
* gnu/packages/prolog.scm (trealla): Update to 2.71.29.
Change-Id: Ie5dc3656278eb83896156d0aabbcfd115ad72452
|
2025-05-22 12:51:07 -05:00 |
|
jgart
|
471fc515c8
|
gnu: trealla: Update to 2.71.28.
* gnu/packages/prolog.scm (trealla): Update to 2.71.28.
Change-Id: I14f6469c2bd37a5fce2cefe7599ac2e5e5e23924
|
2025-05-21 15:14:32 -05:00 |
|
jgart
|
b51bb28993
|
gnu: trealla: Update to 2.71.24.
* gnu/packages/prolog.scm (trealla): Update to 2.71.24.
Change-Id: I2cd133c08f9ff4a54b11db3b3d098096ce4d2872
|
2025-05-20 10:05:24 -05:00 |
|
jgart
|
1d05ddac35
|
gnu: trealla: Update to 2.71.21.
* gnu/packages/prolog.scm (trealla): Update to 2.71.21.
Change-Id: I45259ccf3452e85ec3bd336f312b65241129a766
|
2025-05-19 15:24:19 -05:00 |
|
Greg Hogan
|
56f940e72f
|
gnu: Rename valgrind-next to valgrind.
* gnu/packages/valgrind.scm (valgrind/pinned): Make public.
(valgrind): Delete.
(valgrind-next): Rename to valgrind.
(valgrind/interactive): Inherit from valgrind.
* gnu/packages/audio.scm (codec2),
* gnu/packages/bootloaders.scm (dtc),
* gnu/packages/chromium.scm (ungoogled-chromium),
* gnu/packages/crates-io.scm (rust-crabgrind-0.1),
* gnu/packages/crates-tls.scm (rust-rustls-pki-types-1),
* gnu/packages/file-systems.scm (bindfs),
* gnu/packages/gnome.scm (libratbag, gnome-software),
* gnu/packages/high-availability.scm (pacemaker),
* gnu/packages/linux.scm (multipath-tools),
* gnu/packages/machine-learning.scm (python-pytorch),
* gnu/packages/mpi.scm (openmpi-4),
* gnu/packages/music.scm (stargate),
* gnu/packages/perl-check.scm (perl-test-runvalgrind),
* gnu/packages/prolog.scm (trealla),
* gnu/packages/qt.scm (qtwebengine-5, qt-creator),
* gnu/packages/robotics.scm (aseba),
* gnu/packages/ruby.scm (ruby-ruby-memcheck),
* gnu/packages/spreadsheet.scm (sc-im),
* gnu/packages/web.scm (jq): Rename valgrind to valgrind/pinned.
Change-Id: I9dec25abce643ef6d815a2cc50414c4f65f1e8d3
|
2025-05-13 16:35:39 +00:00 |
|
jgart
|
8a86f221d4
|
gnu: trealla: Update to 2.71.4.
* gnu/packages/prolog.scm (trealla): Update to 2.71.4.
Change-Id: Id9cbc43050b25c0bd9259ca58d5a7a742026af2d
|
2025-05-12 22:44:17 -05:00 |
|
jgart
|
658dc3ff5e
|
gnu: trealla: Update to 2.71.2.
* gnu/packages/prolog.scm (trealla): Update to 2.71.2.
Change-Id: I0ee4578686a8a9f9a6f3349752e577c14958d136
|
2025-05-06 21:11:21 -05:00 |
|