Dep-Logic allows logic operations on version specifiers and environment markers.