tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-05-01 06:45:55 +02:00
Code Activity
184,246 Commits 75 Branches 40 Tags
ee91ecfee2d321e028962c40b2b8ea96a51136f0
Commit Graph

307 Commits

Author SHA1 Message Date
jgart 26ee8302c5 gnu: trealla: Update to 2.92.1. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.1.

Change-Id: Id092ad5e4adabe35132041be8f06065526ef07b2
 2026-03-23 10:26:18 -04:00
jgart a9dc4b996f gnu: trealla: Update to 2.91.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.7.

Change-Id: I5b7f88c91d424ecaad32871405c75b49274e2770
 2026-03-18 19:47:21 -04:00
jgart 7db0b45720 gnu: trealla: Update to 2.91.5. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.5.

Change-Id: Ieb40be1e5466ae2480722f75d5edba4a02847ee7
 2026-03-13 13:16:36 -04:00
jgart 2336e40c51 gnu: trealla: Update to 2.91.4. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.4.

Change-Id: I0fe96f6a7d5308bbe6d7821d0fe061370f0fa10f
 2026-03-11 12:09:11 -04:00
jgart 937d04372c gnu: trealla: Update to 2.91.3. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.3.

Change-Id: I87ee8d10f7a35f6caeedff3917a9754aa6f380f7
 2026-03-08 11:51:42 -04:00
jgart ac9a0bfcd6 gnu: trealla: Update to 2.91.1. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.1.

Change-Id: Ie67c3ad73b28ddac582447c35d4e0a721f8d6f66
 2026-03-03 09:34:49 -05:00
jgart 860f89ef46 gnu: trealla: Update to 2.91.0. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.0.

Change-Id: Iadca5f5512fdbf9b490052c2c5bacde282fcbc41
 2026-03-02 09:34:10 -05:00
jgart b06efc730d gnu: trealla: Update to 2.90.41. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.41.

Change-Id: Ia75b866be4d56fd4224f482d91accf56d85e1f79
 2026-03-01 08:45:42 -05:00
jgart 3704c4937f gnu: trealla: Update to 2.90.40. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.40.

Change-Id: I88f04b68cb8e482f23917473b1fb29a8dff2311e
 2026-02-27 08:53:55 -05:00
jgart c819b6c112 gnu: trealla: Update to 2.90.39. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.39.

Change-Id: If4beac7e384e930471202523053576ea9cbd01b5
 2026-02-25 12:47:58 -05:00
jgart df71a3602e gnu: trealla: Update to 2.90.37. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.37.

Change-Id: I2ca3384b77090ef84449017813a663c0f8b2783c
 2026-02-23 10:33:29 -05:00
jgart e7612f2fcd gnu: trealla: Update to 2.90.36. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.36.

Change-Id: I9df2d7ecda9aa62ef63b9bd89d99f4aa78d4d411
 2026-02-22 18:33:06 -05:00
jgart aa72f75954 gnu: trealla: Update to 2.90.35. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.35.

Change-Id: I8963d12b28f44a8a4991eab390346af837eccff9
 2026-02-21 20:09:08 -05:00
jgart df2931e822 gnu: trealla: Update to 2.90.33. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.33.

Change-Id: Ia988067ce430de371bc11f84940e669d8c52abac
 2026-02-20 15:11:03 -05:00
jgart 0c91ba3a1d gnu: trealla: Update to 2.90.31. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.31.

Change-Id: I713de5e3eb234b5c6dc5a4d6cf6c383ced06e03a
 2026-02-19 14:13:58 -05:00
jgart 0ce2e759b4 gnu: trealla: Update to 2.90.29. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.29.

Change-Id: I16f2859f69219ac17b92a93192acabf31cdc6a55
 2026-02-18 09:21:03 -05:00
jgart effb271ea0 gnu: trealla: Update to 2.90.24. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.24.

Change-Id: I2e5383645d43b3a1c8c7bcd06ae42d6dd99266e2
 2026-02-17 09:42:12 -05:00
jgart 3fad9d1ade gnu: trealla: Update to 2.90.22. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.22.

Change-Id: Ifbc2c9533e9fa9d2cf090b47f4a50def51f8e1fa
 2026-02-16 15:22:57 -05:00
jgart fe4f4dcfe1 gnu: trealla: Update to 2.90.21. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.21.

Change-Id: I83eda0123d58da558487d77c03b2417dc4deb28c
 2026-02-13 23:39:41 -05:00
jgart 875eb949e9 gnu: trealla: Update to 2.90.18. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.18.

Change-Id: I6cca15341aae6b029f8d37dafebfadf829de789b
 2026-02-12 23:12:40 -05:00
jgart 8d0cb60763 gnu: Add scryer-prolog. 
* gnu/packages/prolog.scm (scryer-prolog): New variable.

Co-authored-by: Mark Walker <mark.damon.walker@gmail.com>
Co-authored-by: Efraim Flashner <efraim@flashner.co.il>
Change-Id: I4ffc9a7ebab39ae95d7c38b380737091d21afe53
 2026-02-12 22:25:31 -05:00
jgart 37366cca61 gnu: trealla: Update to 2.90.16. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.16.

Change-Id: I70f2c970b19fdb8367cba398747afe2ee91384a8
 2026-02-12 08:47:37 -05:00
jgart 9c8e6a9b11 gnu: trealla: Update to 2.90.11. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.11.

Change-Id: I0156dc0e1b30edf585722cf59e5a78468c975545
 2026-02-11 20:09:47 -05:00
jgart 36ac4f6ca3 gnu: trealla: Update to 2.90.9. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.9.

Change-Id: Iad240abd6aca819330815f89b437933eb9fab784
 2026-02-09 18:45:26 -05:00
jgart bc94389997 gnu: trealla: Update to 2.90.8. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.8.

Change-Id: Ib708073a1b3558b5d3ff9e48bbaf1e168d2aeba2
 2026-02-09 16:48:22 -05:00
jgart 0c646ef2c2 gnu: trealla: Update to 2.90.2. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.2.

Change-Id: Icf520cc211c819ba640c1d0e861745dd8dff18c6
 2026-02-08 20:02:29 -05:00
jgart b7a291a3c7 gnu: trealla: Update to 2.90.0. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.0.

Change-Id: Iff40dfff0bc47f2fbfe8c3f11412b528f13d5440
 2026-02-07 09:58:26 -06:00
jgart 8da8357e5e gnu: trealla: Update to 2.89.13. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.13.

Change-Id: Ifc00985e074ab2bebc759c28eb143add7c706407
 2026-01-30 01:03:56 -05:00
jgart 05df277ebc gnu: trealla: Update to 2.89.12. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.12.

Change-Id: I0fd2fdfbbd3ebeb450d2294209ee49f4fe0d556b
 2026-01-29 10:39:14 -05:00
jgart 9e3feb052c gnu: trealla: Update to 2.89.11. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.11.

Change-Id: I11acd243b2638253c559c5fb3686dd5d1076fe5c
 2026-01-25 03:23:23 -05:00
jgart 4b9b2595e4 gnu: trealla: Update to 2.89.10. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.10.

Change-Id: Id50537fd703d94aa44065a6adbfe892a7ec89b0b
 2026-01-24 14:47:56 -05:00
jgart 08cfa507d1 gnu: trealla: Switch to running the standard tests. 
* gnu/packages/prolog.scm (trealla):  Switch to running the standard tests.
[native-inputs]: Delete it.
[arguments]: Adjust the test target to be test.

Running the valgrind memory checks is overkill for our purposes. Valgrind
should only be run in a local development workflow and not in our
CI. Switching to running the standard tests will also mimic what upstream runs
in their own CI for the Trealla project. Switching to running only the
standard tests also greatly reduces the time that it takes to run the full
Guix build for the trealla variable.

Change-Id: I912b85bfbe3fde03e6c0b98a47b2dbaa9b4b5d8a
 2026-01-23 13:21:17 -05:00
jgart e4f565e886 gnu: trealla: Update to 2.89.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.7.

Change-Id: I6a4a6efbb0a59345174efb1b3cca4caedf24ffcb
 2026-01-22 14:01:45 -05:00
jgart 4e2de18be2 gnu: trealla: Update to 2.89.1. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.1 and apply formatting.
[native-inputs]: Remove xxd.
[arguments]: Set PREFIX and HOST_CC environment variables.
Remove install phase.

This update also installs the newly created man page for Trealla.

Change-Id: I2fb8e67af2ca075d0dd863a45763fec1483966ae
 2026-01-21 12:43:55 -05:00
jgart 1c1c9e1398 gnu: trealla: Update to 2.88.4. 
* gnu/packages/prolog.scm (trealla): Update to 2.88.4.

Change-Id: I0e825862780a71dcfeb5897245818cc216b09ffe
 2026-01-20 11:43:58 -05:00
jgart 51d42cd40f gnu: trealla: Update to 2.88.3. 
* gnu/packages/prolog.scm (trealla): Update to 2.88.3.

Change-Id: I924a571e1d27b3a1f34a3bdfef683e0b2caba987
 2025-12-25 21:37:49 -05:00
jgart 479a2f7ede gnu: trealla: Update to 2.88.2. 
* gnu/packages/prolog.scm (trealla): Update to 2.88.2.

Change-Id: I452a589dd2ed8023de78a1a90d06dae02a183e89
 2025-12-23 18:33:25 -06:00
jgart 5192dc2ff3 gnu: trealla: Update to 2.88.1. 
* gnu/packages/prolog.scm (trealla): Update to 2.88.1.

Change-Id: I8770e77950a53ef0284fe50248bed5fab01d70a0
 2025-12-22 10:18:17 -06:00
jgart fe9dfb6abb gnu: trealla: Update to 2.87.5. 
* gnu/packages/prolog.scm (trealla): Update to 2.87.5.

Change-Id: I6a331959eca8077774b932a0c3c5a3c0324b0d76
 2025-12-17 18:16:34 -06:00
jgart b73a2dcbf6 gnu: trealla: Update to 2.87.3. 
* gnu/packages/prolog.scm (trealla): Update to 2.87.3.

Change-Id: Ief5532baabc1631ceb94d46713d356cf0829e2fe
 2025-12-16 14:33:56 -06:00
jgart 7bb3ec9632 gnu: trealla: Update to 2.87.0. 
* gnu/packages/prolog.scm (trealla): Update to 2.87.0.

Change-Id: I37f74e99f6291bbe72dbf7cea84f4bc43326a37f
 2025-12-13 23:19:18 -06:00
jgart 457a773e6f gnu: trealla: Update to 2.86.12. 
* gnu/packages/prolog.scm (trealla): Update to 2.86.12.

Change-Id: I0d79781471fca725c745aef3a91fbb7cf0af70c5
 2025-12-12 09:23:08 -06:00
jgart 74ce9988a4 gnu: trealla: Update to 2.86.10. 
* gnu/packages/prolog.scm (trealla): Update to 2.86.10.

Change-Id: Ie5e63e302002949f9fca3ffe60e1147744289700
 2025-12-05 12:48:50 -06:00
jgart 7c7bad305a gnu: trealla: Update to 2.86.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.86.7.

Change-Id: Ied45fed8dedfca7d85dd3104488203b4d436b522
 2025-12-02 07:24:26 -06:00
jgart e73ac4c5e7 gnu: trealla: Update to 2.86.5. 
* gnu/packages/prolog.scm (trealla): Update to 2.86.5.

Change-Id: I0587c79ee9a9e9b0e9c5f84e6e91582e8bc53070
 2025-11-28 16:19:39 -06:00
jgart cf8bb791f6 gnu: trealla: Update to 2.85.18. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.18.

Change-Id: I7cbf059e1a2dfe8218ff3d7e55a777b5bb5abefd
 2025-11-25 16:37:18 -06:00
jgart 3197c5348b gnu: trealla: Update to 2.85.13. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.13.

Change-Id: I48f6bdaef96e2d8d601cf5a41cbaa7fee00d8e97
 2025-11-24 15:34:10 -06:00
jgart 786862a84b gnu: trealla: Update to 2.85.9. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.9.

Change-Id: I87c0df6f147da18099172391e341f3fb2fbc09d3
 2025-11-21 09:46:32 -06:00
jgart c7cdf95708 gnu: trealla: Update to 2.85.5. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.5.

Change-Id: I7c238fca969be17eb66e9c46678a6db1e61aeeff
 2025-11-20 22:44:58 -06:00
jgart a9fb5fa2b9 gnu: trealla: Update to 2.85.4. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.4.

Change-Id: I56916f5348964354de31d46570ae14273776c50c
 2025-11-18 17:12:18 -06:00