Add dpor library.

This commit is contained in:
Michael Walker 2016-04-03 16:03:29 +01:00
parent 6f1ab03489
commit 67a74a84dd

View File

@ -1590,6 +1590,7 @@ packages:
"Michael Walker <mike@barrucadu.co.uk> @barrucadu": "Michael Walker <mike@barrucadu.co.uk> @barrucadu":
- both - both
- dpor
- dejafu - dejafu
- async-dejafu - async-dejafu
- hunit-dejafu - hunit-dejafu