You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Fabio Valentini 3a09744a80 Bump quickcheck to 1.0 and term to 0.7		5 months ago
.gitignore	initial import	7 years ago
0001-Fix-inclusive-range.patch	Bump quickcheck to 0.9	6 years ago
changelog	Convert to %autorelease and %autochangelog	2 years ago
difference-fix-metadata.diff	Bump quickcheck to 1.0 and term to 0.7	5 months ago
rust-difference.spec	Bump quickcheck to 1.0 and term to 0.7	5 months ago
sources	initial import	7 years ago