gpo.zugaina.org

Search Portage & Overlays:

dev-racket/k

k theorem prover

Screenshots

ChangeLog

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 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 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 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 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 6c8e8222b7720c91a7361bf9e280af315537169d
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 22 23:58:13 2022 +0100

dev-scheme: drop old

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>

commit 404b24c212b5c18446ef9495cba8c60210a21ea5
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 1 20:47:21 2022 +0100

dev-racket: autoupdate

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

commit e692dddb3bfbdb1144026518c54a70e01ebb6c69
Author: Maciej Barć <xgqt@gentoo.org>
Date: Thu Dec 23 12:36:39 2021 +0100

dev-racket: autoupdate

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

commit 9fc6c41aeec7f7d4987a80b84cc9f0596c4bf210
Author: Maciej Barć <xgqt@riseup.net>
Date: Sun Nov 14 00:06:37 2021 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@riseup.net>

commit 8014041e37c35b26416890905646831b64d1b5b4
Author: Maciej Barć <xgqt@riseup.net>
Date: Mon Oct 18 00:25:12 2021 +0200

dev-racket: autoupdate