wyj/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2025-04-20 00:08:58 -04:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
guru/sci-mathematics
History
Henri Gasc 28c97e1d0a
sci-mathematics/pyromaths: update HOMEPAGE and ebuild 
Signed-off-by: Henri Gasc <gasc@eurecom.fr>
2023-12-01 21:50:03 +01:00
..
aspcud
…
chaco
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
clasp
…
clingo
*/*: drop dead py3.9 impl
2023-05-02 00:45:35 +05:00
frama-c
sci-mathematics/frama-c: force gtk3
2023-04-09 01:51:19 +02: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
…
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
lean-mathlib
*/*: update metadata schema uri
2023-03-04 18:56:32 +05:00
minisat+
*/*: fix MissingRemoteId in metadata.xml
2023-06-27 04:24:02 +02: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
sci-mathematics/pyromaths: update HOMEPAGE and ebuild
2023-12-01 21:50:03 +01:00
qepcad
*/*: fix MissingRemoteId in metadata.xml
2023-06-27 04:24:02 +02:00
radian
*/*: drop dead py3.9 impl
2023-05-02 00:45:35 +05:00
rstudio-desktop-bin
sci-mathematics/rstudio-desktop-bin: add 2023.09.1_p494, drop 2023.06.2_p561
2023-10-29 16:58:56 +01:00
the-omega-project
*/*: fix MissingRemoteId in metadata.xml
2023-06-27 04:24:02 +02:00