mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-13 17:13:00 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
e91f945ecbd85ccc0703cd9fdbf244b5aa7bcdb9
guru/sci-mathematics
History
Alessandro Barbieri 35512fc831 sci-mathematics/clasp: use https 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-05-25 21:45:03 +02:00
..
aspcud
sci-mathematics/aspcud: includedir for catch
2022-05-06 01:37:52 +02:00
chaco
sci-mathematics/chaco: correctly install m files
2022-05-24 19:36:37 +02:00
clasp
sci-mathematics/clasp: use https
2022-05-25 21:45:03 +02:00
clingo
sci-mathematics/clingo: system catch
2022-05-24 19:36:35 +02:00
frama-c
sci-mathematics/frama-c: better fix for flags issue
2022-05-24 23:30:01 +02:00
frama-c-aorai
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-dive
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-e-acsl
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-instantiate
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-loopanalysis
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-obfuscator
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-postdominators
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-printapi
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-rtegen
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-server
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
frama-c-variadic
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
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
sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318
2022-03-26 01:09:36 +01:00
mccs
sci-mathematics/mccs: respect AR
2022-05-03 22:21:34 +02:00
minisat+
sci-mathematics/minisat+: new package, add 2007.01.05
2022-04-29 03:47:58 +02:00
minisatp
sci-mathematics/minisatp: fix executable name
2022-05-06 01:37:52 +02:00
packup
sci-mathematics/packup: swap {R,}DEPEND logic
2022-04-29 03:52:42 +02:00
qepcad
sci-mathematics/qepcad: version with patches
2022-05-02 22:01:14 +02:00
radian
sci-mathematics/radian: add 0.6.3, drop 0.6.0
2022-05-25 21:21:46 +02:00
the-omega-project
sci-mathematics/the-omega-project: respect LDFLAGS, build PIE
2021-09-05 05:37:43 +02:00