dev-dotnet / coco

The compiler generator Coco/R for C#

Official package sites : https://github.com/boogie-org/coco/ ·

v2014.12.24-r3 :: 0 :: gentoo

Modified
License
GPL-2+
Keywords
amd64
USE flags
debug

General

debug
Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces

virtual / dotnet-sdk : Virtual for .NET SDK

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-dotnet/coco: use dotnet-pkg_force-compat
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-dotnet/coco: bump DOTNET_PKG_COMPAT to 8.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-dotnet/coco: Stabilize 2014.12.24-r2 amd64, #917307
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-dotnet/coco: use RollForward to update to .NET 7.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-dotnet/coco: use default dotnet-pkg_src_install
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-dotnet/coco: new package; add 2014.12.24
Signed-off-by: Maciej Barć <xgqt@gentoo.org>