Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-dotnet
/
coco
The compiler generator Coco/R for C#
https://github.com/boogie-org/coco/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-02-10
dev-dotnet/coco: use dotnet-pkg_force-compat
b95c039
Maciej Barć
committed on 2024-02-10 16:24:46 UTC
dev-dotnet/coco/coco-2014.12.24-r3.ebuild
Commits on 2023-12-17
dev-dotnet/coco: bump DOTNET_PKG_COMPAT to 8.0
fdadf9b
Maciej Barć
committed on 2023-12-17 21:45:44 UTC
dev-dotnet/coco/coco-2014.12.24-r3.ebuild
dev-dotnet/coco/coco-2014.12.24-r2.ebuild
Commits on 2023-11-13
dev-dotnet/coco: Stabilize 2014.12.24-r2 amd64, #917307
b4109ba
Sam James
committed on 2023-11-13 22:03:55 UTC
dev-dotnet/coco/coco-2014.12.24-r2.ebuild
Commits on 2023-10-07
dev-dotnet/coco: use RollForward to update to .NET 7.0
6c429bf
Maciej Barć
committed on 2023-10-07 22:39:04 UTC
dev-dotnet/coco/coco-2014.12.24-r2.ebuild
dev-dotnet/coco/coco-2014.12.24-r1.ebuild
Commits on 2023-09-22
dev-dotnet/coco: use default dotnet-pkg_src_install
e4fd776
Maciej Barć
committed on 2023-09-22 14:09:42 UTC
dev-dotnet/coco/coco-2014.12.24-r1.ebuild
dev-dotnet/coco/coco-2014.12.24.ebuild
Commits on 2023-09-16
dev-dotnet/coco: new package; add 2014.12.24
db3627c
Maciej Barć
committed on 2023-09-16 14:47:35 UTC
dev-dotnet/coco/Manifest
dev-dotnet/coco/coco-2014.12.24.ebuild
dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.patch
dev-dotnet/coco/metadata.xml