R. RyanTM 3628d0d893 cryptominisat: 5.7.1 -> 5.8.0		2020-07-08 04:51:18 +00:00
..
applications	cryptominisat: 5.7.1 -> 5.8.0	2020-07-08 04:51:18 +00:00
build-support
common-updater
data
desktops
development
games
misc
os-specific
servers
shells
stdenv
test
tools
top-level