mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-04-07 03:10:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
c5b96369a66f934c2f6a877d61eb2652cf0b47b0
guru/sci-mathematics
History
Alessandro Barbieri c5b96369a6 sci-mathematics/clasp: add manpage 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-06-02 03:23:30 +02:00
..
aspcud
…
chaco
sci-mathematics/chaco: fix octave file
2022-05-31 12:21:47 +02:00
clasp
sci-mathematics/clasp: add manpage
2022-06-02 03:23:30 +02:00
clingo
sci-mathematics/clingo: enable py3.11
2022-05-28 14:53:33 +02:00
frama-c
sci-mathematics/frama-c: fix CFLAGS replacement
2022-05-31 03:16:28 +02:00
frama-c-aorai
…
frama-c-callgraph
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-constant-folding
…
frama-c-dive
…
frama-c-e-acsl
…
frama-c-eva
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-from
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-impact
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-inout
…
frama-c-instantiate
…
frama-c-loopanalysis
…
frama-c-metrics
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-nonterm
…
frama-c-obfuscator
…
frama-c-occurrence
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-pdg
…
frama-c-postdominators
…
frama-c-printapi
…
frama-c-qed
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-report
…
frama-c-rtegen
…
frama-c-scope
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-security-slicing
…
frama-c-server
…
frama-c-slicing
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-sparecode
…
frama-c-studia
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
frama-c-users
…
frama-c-variadic
…
frama-c-wp
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
2022-05-24 23:30:02 +02:00
lean-mathlib
…
mccs
…
minisat+
…
minisatp
…
packup
…
qepcad
sci-mathematics/qepcad: add subslot
2022-05-28 14:53:30 +02:00
radian
sci-mathematics/radian: bump python
2022-05-29 23:04:53 +02:00
the-omega-project
…