on master help sign in
Merge pull request #1334 from barrucadu/master

Add dpor library.

commit1c114ba401fdd0f00bfe79dc955540a5e3169f75 authorAdam Bergmark <adam@bergmark.nl> dateSun 3 Apr 2016, 17:59 (11 years ago) parent6f1ab0367a74a8
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -1590,6 +1590,7 @@ packages:
15901590
15911591 "Michael Walker <mike@barrucadu.co.uk> @barrucadu":
15921592 - both
1593+ - dpor
15931594 - dejafu
15941595 - async-dejafu
15951596 - hunit-dejafu