mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 15:45:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
b25fa5a3755e9a7bd1ae2d8834300c0a5f56a761
guru/sci-mathematics
History
Arthur Zamarin 9ad23458b6 sci-mathematics/frama-c: fix dep on gtk useflag 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2023-04-06 18:13:37 +03:00
..
aspcud
sci-mathematics/aspcud: includedir for catch
2022-05-06 01:37:52 +02:00
chaco
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
clasp
sci-mathematics/clasp: add manpage
2022-06-02 03:23:30 +02:00
clingo
*/*: drop dead py3.8 impl
2023-03-12 17:53:56 +05:00
frama-c
sci-mathematics/frama-c: fix dep on gtk useflag
2023-04-06 18:13:37 +03:00
frama-c-aorai
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-callgraph
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-constant-folding
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-dive
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-e-acsl
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-eva
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-from
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-impact
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-inout
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-instantiate
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-loopanalysis
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-metrics
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-nonterm
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-obfuscator
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-occurrence
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-pdg
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-postdominators
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-printapi
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-qed
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-reduc
sci-mathematics/frama-c-reduc: Update Manifest
2022-08-23 13:04:15 -07:00
frama-c-report
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-rtegen
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-scope
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-security-slicing
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-server
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-slicing
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-sparecode
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-studia
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-users
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-variadic
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
frama-c-wp
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
lean-mathlib
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
mccs
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
minisat+
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
minisatp
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
packup
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
pyromaths
*/*: drop dead py3.8 impl
2023-03-12 17:53:56 +05:00
qepcad
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
radian
*/*: drop dead py3.8 impl
2023-03-12 17:53:56 +05:00
rstudio-desktop-bin
sci-mathematics/rstudio-desktop-bin: fix SRC_URI
2023-01-11 16:51:12 -05:00
the-omega-project
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00