de14611 Update to 1.3.1

Authored and Committed by eclipseo 4 years ago
    Update to 1.3.1
    
    Bump quickcheck to 0.9
    Bump rand to 0.7
    
    Signed-off-by: Robert-André Mauchin <zebob.m@gmail.com>
    
        
file modified
+1 -0
file modified
+214 -1
file modified
+1 -1