Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-dotnet/dotnet-sdk: conform to lack of native symlinksMaciej Barć4 hours2-4/+24
* sys-apps/system-monitoring-center: bump to 2.22.2Maciej Barć13 hours2-0/+44
* sci-mathematics/cryptominisat: bump to 5.11.14Maciej Barć13 hours2-0/+40
* dev-lang/qore: new package; 1.19.0Maciej Barć22 hours3-0/+96
* dev-dotnet/dotnet-sdk: bump to 8.0.0_rc1234194Maciej Barć22 hours2-0/+133
* dev-dotnet/dotnet-runtime-nugets: bump to 8.0.0_rc1234194Maciej Barć22 hours2-0/+91
* dev-dotnet/cake: do not install with coffee-scriptMaciej Barć2 days1-0/+5
* dev-dotnet/avalonia-ilspy: new package; add 7.2_rcMaciej Barć3 days3-0/+535
* games-emulation/ppsspp: bump to 1.16.3Maciej Barć3 days2-0/+76
* dev-ml/zarith: bump to 1.13Maciej Barć3 days2-0/+62
* sci-mathematics/alt-ergo: drop old 2.4.2-r1Maciej Barć3 days2-57/+0
* sci-mathematics/alt-ergo: drop old 2.4.1-r2Maciej Barć3 days2-49/+0
* dev-ml/uunf: bump to 15.1.0Maciej Barć3 days2-0/+39
* dev-ml/uunf: drop old 14.0.0Maciej Barć3 days2-32/+0
* dev-ml/uunf: drop old 13.0.0-r1Maciej Barć3 days2-32/+0
* dev-ml/uucp: bump to 15.1.0Maciej Barć3 days2-0/+35
* dev-ml/uucp: drop old 14.0.0Maciej Barć3 days2-29/+0
* dev-ml/uucp: drop old 13.0.0-r2Maciej Barć3 days2-30/+0
* dev-ml/pprint: bump to 20230830Maciej Barć3 days2-0/+16
* dev-ml/batteries: drop old 3.4.0Maciej Barć3 days2-32/+0
* dev-dotnet/nake: use default dotnet-pkg_src_installMaciej Barć3 days1-8/+0
* dev-dotnet/coco: use default dotnet-pkg_src_installMaciej Barć3 days1-7/+0
* dev-dotnet/cake: new package; add 3.1.0Maciej Barć4 days3-0/+417
* app-shells/pwsh-bin: bump to 7.3.7Maciej Barć4 days2-0/+72
* app-emacs/modus-themes: bump to 4.3.0Maciej Barć4 days2-0/+31
* app-emacs/embark-consult: bump to 0.23Maciej Barć4 days2-0/+37
* app-emacs/embark: bump to 0.23Maciej Barć4 days2-0/+53
* app-emacs/avy-embark-collect: bump to 0.23Maciej Barć4 days2-0/+35
* dev-dotnet/nake: new package; add 3.0.0Maciej Barć4 days4-0/+529
* games-emulation/ppsspp: bump to 1.16.2Maciej Barć4 days2-0/+76
* dev-lang/mond: new package; add 0.9.4Maciej Barć6 days3-0/+208
* app-emacs/elfeed-protocol: bump to 0.9.0Maciej Barć6 days2-0/+30
* sci-electronics/nvc: bump to 1.10.3Maciej Barć6 days2-0/+110
* dev-dotnet/csharp-language-server: drop old 0.5.7Maciej Barć6 days2-78/+0
* dev-lang/polyml: bump to 5.9.1Maciej Barć6 days2-0/+70
* dev-lang/dafny: add "go" test dependencyMaciej Barć6 days1-0/+1
* dev-lang/boogie: add missing src_unpack to support gitMaciej Barć7 days1-0/+8
* dev-lang/dafny: add missing src_unpack to support gitMaciej Barć7 days1-0/+8
* dev-dotnet/dotnet-runtime-nugets: DOTNET_COMPAT -> DOTNET_PKG_COMPATMaciej Barć7 days6-7/+7
* app-emacs/mmm-mode: bump to 0.5.10Maciej Barć7 days2-0/+31
* sys-apps/system-monitoring-center: bump to 2.22.1Maciej Barć7 days2-0/+44
* dev-dotnet/dotnet-sdk-bin: update metadata XMLMaciej Barć7 days1-5/+0
* dev-dotnet/dotnet-sdk-bin: drop old 6.0.404Maciej Barć7 days1-67/+0
* profiles/arch/amd64/x32/package.use.mask: maskdev-lang/dafny[test]Maciej Barć7 days1-0/+4
* dev-lang/dafny: new package; add 4.2.0Maciej Barć7 days7-0/+859
* dev-lang/dafny-bin: bump to 4.2.0Maciej Barć7 days2-0/+54
* dev-dotnet/dotnet-sdk-bin: fix dotnet-runtime-nugets dependenciesMaciej Barć7 days1-2/+2
* dev-dotnet/dotnet-runtime-nugets: bump to 7.0.11Maciej Barć7 days2-0/+79
* dev-dotnet/dotnet-runtime-nugets: bump to 6.0.22Maciej Barć7 days2-0/+79
* profiles/features/musl/package.mask: mask dev-lang/dafny-bin on muslMaciej Barć8 days1-0/+4