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 |
|
jgart
|
5b56e84f77
|
gnu: trealla: Update to 2.71.0.
* gnu/packages/prolog.scm (trealla): Update to 2.71.0.
Change-Id: I053d5feb1c12df63207bce65c5d7fab40a662e3c
|
2025-05-06 11:52:49 -05:00 |
|
jgart
|
ce37c47492
|
gnu: trealla: Update to 2.70.4.
* gnu/packages/prolog.scm (trealla): Update to 2.70.4.
Change-Id: Ib30d3cd9d4f3fed089184bc8202fba3997cf57b7
|
2025-05-05 16:14:38 -05:00 |
|
jgart
|
63088c295d
|
gnu: trealla: Update to 2.70.3.
* gnu/packages/prolog.scm (trealla): Update to 2.70.3.
Change-Id: Iea8a9a982833384233590fc5874940418cb64fa1
|
2025-05-05 01:47:48 -05:00 |
|
jgart
|
c2c4bc8758
|
gnu: trealla: Update to 2.69.12.
* gnu/packages/prolog.scm (trealla): Update to 2.69.12.
Change-Id: I525a7a9ed6e1f3aca56063810202bb455a343a3c
|
2025-05-04 13:39:34 -05:00 |
|
jgart
|
9884b1358a
|
gnu: trealla: Update to 2.69.10.
* gnu/packages/prolog.scm (trealla): Update to 2.69.10.
Change-Id: I5d6eb8f08b62604d25074687c9ee68535c7901c9
|
2025-05-02 16:21:30 -05:00 |
|
jgart
|
ad2340503b
|
gnu: trealla: Update to 2.69.9.
* gnu/packages/prolog.scm (trealla): Update to 2.69.9.
Change-Id: I4cca4a7b5d895bdaf7550068da204195c826fd7e
|
2025-05-01 09:23:32 -05:00 |
|
jgart
|
9cf8afc8d4
|
gnu: trealla: Update to 2.69.8.
* gnu/packages/prolog.scm (trealla): Update to 2.69.8.
Change-Id: Ide09f69c8441c0b1a300da90949421b43041c0b4
|
2025-04-30 07:29:17 -05:00 |
|
jgart
|
499a8374ca
|
gnu: trealla: Update to 2.69.7.
* gnu/packages/prolog.scm (trealla): Update to 2.69.7.
Change-Id: I226b29cc2c887067febbe24ed9f9927c29c89d35
|
2025-04-29 11:56:10 -05:00 |
|
jgart
|
3222cc3f03
|
gnu: trealla: Update to 2.69.4.
* gnu/packages/prolog.scm (trealla): Update to 2.69.4.
Change-Id: If6f09800d8dc067a07e04609cb10b4c0dcbb6061
|
2025-04-28 11:59:32 -05:00 |
|
jgart
|
7ff20b9e94
|
gnu: trealla: Update to 2.69.1.
* gnu/packages/prolog.scm (trealla): Update to 2.69.1.
Change-Id: Ibeaf798bc0096744bec99e810ed9b4e476022ae8
|
2025-04-25 16:34:51 -05:00 |
|
jgart
|
9fbe19661f
|
gnu: trealla: Update to 2.68.24.
* gnu/packages/prolog.scm (trealla): Update to 2.68.24.
Change-Id: I8666cefaf891ce5ff721b87b6c2b10e3d5e2fc4c
|
2025-04-22 14:15:55 -05:00 |
|
jgart
|
e16c9332df
|
gnu: trealla: Update to 2.68.16.
* gnu/packages/prolog.scm (trealla): Update to 2.68.16.
Change-Id: I19cd84e85337b01d03decfb03910dd1447a80d60
|
2025-04-20 20:49:56 -05:00 |
|
jgart
|
0697742498
|
gnu: trealla: Update to 2.68.11.
* gnu/packages/prolog.scm (trealla): Update to 2.68.11.
Change-Id: I86259c9f594923fba203eaaea20d834d0c3a1607
|
2025-04-12 11:20:00 -05:00 |
|
jgart
|
f7c41ab31f
|
gnu: trealla: Update to 2.68.10.
* gnu/packages/prolog.scm (trealla): Update to 2.68.10.
Change-Id: I46bffff159a9654ea657d80e00c682db6449fcf2
|
2025-04-10 11:22:32 -05:00 |
|
jgart
|
224d7732c1
|
gnu: trealla: Update to 2.68.8.
* gnu/packages/prolog.scm (trealla): Update to 2.68.8.
Change-Id: I8f991c88dd6a1c7b2cb8178337c0251100af2eb0
|
2025-04-09 15:16:21 -05:00 |
|
jgart
|
b413d1ea6a
|
gnu: trealla: Update to 2.68.4.
* gnu/packages/prolog.scm (trealla): Update to 2.68.4.
Change-Id: Ie2613fb111658c764922771d12694065d3c3842b
|
2025-04-08 13:54:59 -05:00 |
|
jgart
|
73560771d7
|
gnu: trealla: Update to 2.67.27.
* gnu/packages/prolog.scm (trealla): Update to 2.67.27.
Change-Id: Ie386066645233796eaec343c011b5e8dcfd70e56
|
2025-04-07 12:08:48 -05:00 |
|
jgart
|
e0ed879241
|
gnu: trealla: Update to 2.67.18.
* gnu/packages/prolog.scm (trealla): Update to 2.67.18.
Change-Id: I7241e2071ce651a70b6b9dd04f21554ca3689816
|
2025-04-02 22:27:03 -05:00 |
|
jgart
|
751bf10e07
|
gnu: trealla: Update to 2.67.15.
* gnu/packages/prolog.scm (trealla): Update to 2.67.15.
Change-Id: I0bf145520472c28d93422ab1a7c09523ef130813
|
2025-04-02 00:38:23 -05:00 |
|
jgart
|
bcd207005c
|
gnu: trealla: Update to 2.67.14.
* gnu/packages/prolog.scm (trealla): Update to 2.67.14.
Change-Id: I8f96b90b0ccc25f5c06782044a3216df2180b447
|
2025-04-01 01:32:38 -05:00 |
|
jgart
|
4863073856
|
gnu: trealla: Update to 2.67.13.
* gnu/packages/prolog.scm (trealla): Update to 2.67.13.
Change-Id: I4e633a69e3ca961340e9a49058773ec374b3c380
|
2025-03-31 09:59:38 -05:00 |
|
jgart
|
70cc00f4a9
|
gnu: trealla: Update to 2.66.0.
* gnu/packages/prolog.scm (trealla): Update to 2.66.0.
Change-Id: Ie8a426233fec9ee5e31960fca4bdd53ed3cb0d19
|
2025-03-22 17:16:04 -05:00 |
|
jgart
|
a79a6a6e00
|
gnu: trealla: Update to 2.65.26.
* gnu/packages/prolog.scm (trealla): Update to 2.65.26.
Change-Id: I4e026c6b7c30079436182cba4e54f504eeb5cb66
|
2025-03-21 13:30:03 -05:00 |
|