You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(actually first from me) Should it strictly be called chezscheme or is chez-scheme equally valid? (certainly not too late to change now) or even is ChezScheme preferred (Fedora also allows cased package names, so maybe this seems truest to the upstream naming) - not sure which is easier to find..
Is it useful to include libkernel.a and main.o in the package? (I could only find Why is main.o installed? #811 somewhat discussing this)
My personal motivation for packaging is for Idris2
I have submitted chez-scheme for package review so that it can be added to Fedora Linux, finally :-)
(see https://bugzilla.redhat.com/show_bug.cgi?id=2281419)
A few questions are coming up:
main.oinstalled? #811 somewhat discussing this)My personal motivation for packaging is for Idris2