| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| PACKAGES.rds | 492 | 2026-Jul-09 13:44 | |
| proptest_0.1-5.tar.gz | 30761 | 2012-Oct-29 16:59 | |
| proptest_0.1-4.tar.gz | 17588 | 2009-May-20 01:05 | |
| proptest_0.1-3.tar.gz | 17459 | 2008-Feb-28 23:08 | |
| proptest_0.1-2.tar.gz | 17462 | 2007-Dec-21 17:16 | |
| proptest_0.1-1.tar.gz | 16000 | 2006-Sep-29 20:10 | |
| proptest_0.1-0.tar.gz | 15428 | 2006-Sep-06 03:40 | |