gpo.zugaina.org

Search Portage & Overlays:

dev-racket/rtlv

Tools for reasoning about circuits in Rosette/Racket

Screenshots

ChangeLog

commit e68684274b5103a2d84a6c8928171fc4b26df84f
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Dec 6 02:37:44 2024 +0100

dev-racket: remove old

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

commit c7eed3a471370091b5abbb1e7d30b903f5ecc7dc
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Aug 3 17:17:55 2024 +0200

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 a26909a24c42329ddf63f26fc748b0751b1ac4be
Author: Maciej Barć <xgqt@gentoo.org>
Date: Wed Mar 15 12:45:51 2023 +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 fbeb29cb5e78cdd8d51b9818a29d52abbfac347e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Nov 4 08:35:47 2022 +0100

dev-racket: regen after dev-racket/racket removal

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

commit b1abfe0fe3e8542510e233442b71555a71bad252
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Nov 4 08:14:26 2022 +0100

dev-racket: autoupdate

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

commit 93dcc1c7f397c1ad8625301d065b87025f899640
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Oct 22 09:48:56 2022 +0200

dev-racket: autoupdate

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