mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 20:13:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

2021-03-31 12:55:17 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2021-03-31 12:55:17 +00:00
parent e81acd0e62
commit 6502ad891f
112 changed files with 217 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
profiles/use.local.desc
View File

@@ -156,6 +156,7 @@ sci-mathematics/frama-c:wp - Build the WP plugin
sci-mathematics/why3:coq - Add sci-mathematics/coq support
sci-mathematics/why3:gtk - Build the IDE x11-libs/gtk+
sci-mathematics/why3:re - Use Re (dev-ml/re) instead of Str for regular expressions
sci-mathematics/why3:sexp - Add support for outputting S-expressions with dev-ml/ppx_sexp_conv
sci-mathematics/why3:zarith - Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations
sci-mathematics/why3:zip - Enable compression of session files
sci-physics/SU2:cgns - Build with CGNS support (bundled)