Michael Weiss 79e699096d pythonPackages.cryptography_vectors: Add meta-attributes		2019-01-24 11:59:24 +01:00
..
applications	coq_8_9: 8.9+beta1 -> 8.9.0	2019-01-24 09:08:51 +00:00
build-support
common-updater
data
desktops
development	pythonPackages.cryptography_vectors: Add meta-attributes	2019-01-24 11:59:24 +01:00
games
misc
os-specific
servers
shells
stdenv
test
tools
top-level	coq_8_9: 8.9+beta1 -> 8.9.0	2019-01-24 09:08:51 +00:00