Skip to main content

Browse the archive

Revision 504cb855c232203990e79e1cc23ac9d3c150c0fa authored by Antoine Lambert on 05 December 2018, 09:59:49 UTC, committed by Antoine Lambert on 05 December 2018, 09:59:49 UTC 
Update upstream source from tag 'debian/upstream/0.0.114'
 
Update to upstream version '0.0.114'
with Debian dir daa937d2f846f37a8fd2bc8212d1fd666eb14f10
2 parent s 0da6d81 + 8b9f149
Raw File
Makefile.local 
TESTFLAGS=--hypothesis-profile=fast
back to top