Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
Gentoo Developer
Michał Górny
Packages
194
Stabilization
7
Outdated
7
Pull requests
6
Bugs
214
Security
11
Changelog
Outdated Packages
dev-cpp/libjson-rpc-cpp
JSON-RPC (1.0 & 2.0) framework for C++
dev-libs/libedit
BSD replacement for libreadline
dev-util/xdelta
Computes changes between binary or text files and creates deltas
games-strategy/colobot
A real-time strategy game, where you can program your bots
games-strategy/colobot-data
Data package for colobot (Colonize with Bots)
net-dns/resolvconf-symlink
Make /etc/resolv.conf a symlink to a runtime-writable location
sci-mathematics/z3
An efficient theorem prover
Description
Based on the data of
repology.org
, there might be a new version available for these packages.
Please don't solely rely on this information, as the repology data might not be accurate.