dev-racket/unstable-redex
Experimental libraries for typesetting PLT Redex models
-
unstable-redex-9999doc
View Download Browse License: all-rights-reservedOverlay: racket-overlay -
unstable-redex-0_p20191024~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reservedOverlay: racket-overlay
ChangeLog
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 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 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 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 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 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 9d0616ec7644dd9834626efdd6cd0bac06c039e9
Author: Maciej Barć <xgqt@riseup.net>
Date: Thu Oct 28 05:33:53 2021 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@riseup.net>
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 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 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 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 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 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 9d0616ec7644dd9834626efdd6cd0bac06c039e9
Author: Maciej Barć <xgqt@riseup.net>
Date: Thu Oct 28 05:33:53 2021 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@riseup.net>