This website requires JavaScript.
Explore
Help
Sign In
mirrors
/
guru
Watch
1
Star
0
Fork
0
You've already forked guru
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
c135f6901d881fa19feb8761ec834dc8f7cd8924
guru
/
sci-mathematics
History
Mazunki Hoksaas
dfd500b371
sci-mathematics/rstudio-desktop-bin: add 2023.09.1_p494, drop 2023.06.2_p561
...
Signed-off-by: Mazunki Hoksaas <
rolferen@gmail.com
>
2023-10-29 16:58:56 +01:00
..
aspcud
…
chaco
…
clasp
…
clingo
*/*: drop dead py3.9 impl
2023-05-02 00:45:35 +05:00
frama-c
…
frama-c-aorai
…
frama-c-callgraph
…
frama-c-constant-folding
…
frama-c-dive
…
frama-c-e-acsl
…
frama-c-eva
…
frama-c-from
…
frama-c-impact
…
frama-c-inout
…
frama-c-instantiate
…
frama-c-loopanalysis
…
frama-c-metrics
…
frama-c-nonterm
…
frama-c-obfuscator
…
frama-c-occurrence
…
frama-c-pdg
…
frama-c-postdominators
…
frama-c-printapi
…
frama-c-qed
…
frama-c-reduc
…
frama-c-report
…
frama-c-rtegen
…
frama-c-scope
…
frama-c-security-slicing
…
frama-c-server
…
frama-c-slicing
…
frama-c-sparecode
…
frama-c-studia
…
frama-c-users
…
frama-c-variadic
…
lean-mathlib
…
minisat+
*/*: fix MissingRemoteId in metadata.xml
2023-06-27 04:24:02 +02:00
minisatp
…
packup
…
pyromaths
*/*: drop dead py3.9 impl
2023-05-02 00:45:35 +05: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