Pinned Repositories
debuerreotype
reproducible, snapshot-based Debian rootfs builder
docker-debian-artifacts
Official builds of debuerreotype-generated Debian tarballs for use in Docker
docker-debian-eol-artifacts
Official builds of debuerreotype-generated Debian EOL tarballs for use in Docker (archive.debian.org)
docker-images
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
sat_competition_2013_sources
SAT Competition 2013 Source Archives
sat_competition_2014_sources
SAT Competition 2014 Source Archives
sat-heritage's Repositories
sat-heritage/docker-images
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
sat-heritage/debuerreotype
reproducible, snapshot-based Debian rootfs builder
sat-heritage/docker-debian-artifacts
Official builds of debuerreotype-generated Debian tarballs for use in Docker
sat-heritage/docker-debian-eol-artifacts
Official builds of debuerreotype-generated Debian EOL tarballs for use in Docker (archive.debian.org)
sat-heritage/sat_competition_2013_sources
SAT Competition 2013 Source Archives
sat-heritage/sat_competition_2014_sources
SAT Competition 2014 Source Archives