gpo.zugaina.org

Search Portage & Overlays:

dev-racket/karp

A language for NP-Reductions

Screenshots

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 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>