tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-07 13:40:36 +02:00
Code Activity
185,215 Commits 73 Branches 40 Tags
python-team
Commit Graph

314 Commits

Author SHA1 Message Date
jgart
077ac25005 gnu: trealla: Update to 2.92.15. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.15.

Change-Id: I3cab11edc80aad42a35ee1c14a0e4cb15eca5b2c
 2026-04-03 12:33:56 -04:00
jgart
e433d6b91f gnu: trealla: Update to 2.92.12. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.12.

Change-Id: Ie7e47216189ea72529b86b26762a705f8300496d
 2026-04-02 16:05:36 -04:00
jgart
cc246c7e34 gnu: trealla: Update to 2.92.11. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.11.

Change-Id: I8c1336336c8bd9985c68722ad7e7ecafdfe78bb6
 2026-04-01 07:59:37 -04:00
jgart
bf590448eb gnu: trealla: Update to 2.92.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.7.

Change-Id: I60f1a1fed86b86c9d49d4e4dad90cc1961af80f1
 2026-03-29 10:08:34 -04:00
jgart
34683a7c42 gnu: trealla: Update to 2.92.6. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.6.

Change-Id: Ibf90764980593b0a72a42896a38e19600abaecab
 2026-03-28 17:03:08 -04:00
jgart
2cbaff2d19 gnu: trealla: Update to 2.92.3. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.3.

Change-Id: Ifcacb28facc0884919fbd5876e934f8d91784d35
 2026-03-27 10:19:31 -04:00
jgart
9703edce7f gnu: trealla: Update to 2.92.2. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.2.

Change-Id: Ibcf8a07b1cdd4e680855cef18b80233376d70039
 2026-03-26 08:06:27 -04:00
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