You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Lucas Mitrak a9a6dc8775
sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etc
1 month ago
Oid sci-mathematics/Oid: remove redundant long description 8 months ago
acl2 sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etc 1 week ago
cipi sci-mathematics/cipi: EAPI bump, fix compile phase 8 months ago
flocq sci-mathematics/flocq: EAPI bump, add multiprocessing to remake 1 month ago
frama-c sci-mathematics/frama-c: set USE default 7 months ago
freefem++ sci-mathematics/freefem++: version bump, fix fetch 8 months ago
gap sci-mathematics/gap: fix BadDefaultUseFlags 4 months ago
gappa sci-mathematics/gappa: add version 1.4.0 3 months ago
gappalib-coq sci-mathematics/gappalib-coq: drop old 7 months ago
giac sci-mathematics/giac: fix SRC_URI 8 months ago
libsfmt sci-mathematics/libsfmt: EAPI bump 7 months ago
lie sci-mathematics/lie: fixup to EAPI 7 7 months ago
ltl2ba sci-mathematics/ltl2ba: Port to EAPI 7 7 months ago
netgen sci-mathematics/netgen: fixup dep, <sci-libs/metis-5.0 unavailable 7 months ago
open-axiom sci-mathematics/open-axiom: some steps towards fixing compilation 8 months ago
pulp sci-mathematics/pulp: update HOMEPAGE 8 months ago
ripser sci-mathematics/ripser: update homepage 8 months ago
scilab sci-mathematics/scilab: some progress 6 months ago
why3 sci-mathematics/why3: fix StaticURL 7 months ago