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
361bd54a93505180a97e7882798dc5ab70500a48
guru/sci-mathematics
History
Henri Gasc 640fee1509 sci-mathematics/pyromaths: enable py3.8 and disable py3.11 
Closes: https://bugs.gentoo.org/891721
Signed-off-by: Henri Gasc <gasc@eurecom.fr>
2023-02-04 18:32:57 +01:00
..
abc
sci-mathematics/abc: new package, add 9999
2022-12-09 22:11:29 +00:00
aspcud
…
chaco
…
clasp
…
clingo
…
frama-c
sci-mathematics/frama-c: quote FILESDIR variable
2022-09-08 12:24:17 +02:00
frama-c-aorai
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-callgraph
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-constant-folding
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-dive
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-e-acsl
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-eva
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-from
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-impact
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-inout
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-instantiate
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-loopanalysis
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-metrics
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-nonterm
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-obfuscator
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-occurrence
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-pdg
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-postdominators
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-printapi
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-qed
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-reduc
sci-mathematics/frama-c-reduc: Update Manifest
2022-08-23 13:04:15 -07:00
frama-c-report
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-rtegen
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-scope
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-security-slicing
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-server
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-slicing
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-sparecode
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-studia
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-users
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-variadic
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
frama-c-wp
sci-mathematics/frama-c: bump to 25.0
2022-08-19 19:30:31 +02:00
lean-mathlib
…
mccs
Move {virtual -> app-alternatives}/yacc
2022-12-06 07:43:50 +02:00
minisat+
…
minisatp
…
packup
…
pyromaths
sci-mathematics/pyromaths: enable py3.8 and disable py3.11
2023-02-04 18:32:57 +01:00
qepcad
…
radian
…
rstudio-desktop-bin
sci-mathematics/rstudio-desktop-bin: fix SRC_URI
2023-01-11 16:51:12 -05:00
the-omega-project
…