gpo.zugaina.org

Search Portage & Overlays:

dev-racket/karp

A language for NP-Reductions

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 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 fee01557441d461ead04d7cadf478ef147fa3405
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Nov 18 22:24:27 2023 +0100

dev-racket: autoupdate

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

commit 8e1a81b98c76aa7c79dae4064ff57f9fe2b94fb3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Aug 15 14:14:25 2023 +0200

dev-racket: autoupdate

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