gpo.zugaina.org

Search Portage & Overlays:

dev-racket/k-core

core of k theorem prover

Screenshots

ChangeLog

commit d2d08ce04d68d2c711c8f4c33ae9cc40673f3df8
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Feb 5 19:36:36 2024 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 5785011c9642adb77f43066c8d003fc7f6ea662e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 6 22:52:20 2024 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 36daa6ad7790e1f78c213f1dc16e046d9ed35e51
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Sep 9 10:29:50 2023 +0200

dev-racket: big cleanup

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit a69e0b586cc8706e76af8857237f664e60e7e33b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 6 02:31:22 2023 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit a52163ef6cb2588839b5c6ee1a795ed7d7c56786
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 02:23:42 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 24059f805ec0c5bdb9575faddee835b4828cad03
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 01:04:40 2022 +0200

dev-racket: change version scheme

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit b60321c60455fd41f57937a80429fe6e46511f37
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Aug 20 00:19:41 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 0cfbb7ea283b1aba42bc2b676d84d1c1f219031e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Aug 12 13:34:00 2022 +0200

dev-racket: sort inherits

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 97b6522fb6643ef2c00b91f7e6531a573dc05a26
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 25 05:22:41 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 4d77e698061dd198663788dccc46bb6bd1f66393
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 25 00:47:32 2022 +0200

*/*: keyword for arches supported by dev-scheme/racket

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 8f9c435d4fc32faf30927886a9522629681198f0
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 4 19:42:51 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 9002e8ce93aeb3f67a10b3361147c241e6968403
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Jun 14 18:37:35 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 8fce1a2f141b98d346f406aa0943162132528f57
Author: Maciej Barć <xgqt@gentoo.org>
Date: Wed Jun 1 22:27:13 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 28f7be77c554fb8101f435d964d23eac8fe698f1
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sun May 29 22:13:56 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit dfa41e89e02e1453e5f77d8d51e9f12570f2a525
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat May 28 12:04:17 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit b1ac05977912b8679e83f1c9fa9b571527d1cba2
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat May 14 14:08:54 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit a0c9c6b6d2ca5363ed6b3672118753a3f10f0d1b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Apr 15 04:12:22 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit eeb3fba2e179ab06fa33c22f6140d13073c1584b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Apr 2 02:23:08 2022 +0200

dev-racket: autoupdate

April 02 autoupdate continued

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit fdff61831b7100beafba9ea845ed6accded19f9d
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Apr 2 02:17:52 2022 +0200

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 48824b102711534ff8e9d9fe9f0d9e0cbc456270
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Feb 8 21:27:35 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 75206bbe425f007516f20df5ed7119fbbed734f3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 28 23:31:02 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 85a787b22b91acde425b883c502c2f93e5d4ae50
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 22 19:12:46 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit ca6b83670a619087b18ddfb733436a99deab7f15
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 15 14:04:23 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 0aabd23bab5e8d2da73173b1dd6c8076cfad6ea3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 8 04:23:28 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>