Gentoo Portage Overlays - dev-racket/karp

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-racket/karp

A language for NP-Reductions

Screenshots

https://github.com/REA1/karp

karp-9999

doc

View

Download

Browse License: all-rights-reserved

Overlay: racket-overlay

karp-0_p20231114

~amd64 ~arm ~ppc ~ppc64 ~x86

doc

View

Download

Browse License: all-rights-reserved

Overlay: racket-overlay

karp-0_p20230809

~amd64 ~arm ~ppc ~ppc64 ~x86

doc

View

Download

Browse License: all-rights-reserved

Overlay: racket-overlay

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

karp-9999

dev-racket/rosette
dev-racket/scribble-math
>=dev-scheme/racket-8.1:=[-minimal]

karp-0_p20231114

dev-racket/rosette
dev-racket/scribble-math
>=dev-scheme/racket-8.1:=[-minimal]

karp-0_p20230809

dev-racket/rosette
dev-racket/scribble-math
>=dev-scheme/racket-8.1:=[-minimal]