ajacoutot
|
54f84d5d36
Update to spim-8.0.
|
12 years ago |
espie
|
470294650d
base64 distinfo with SHA256
|
17 years ago |
kevlo
|
d549ddf88d
upgrade to spim 7.3
|
18 years ago |
steven
|
4d5b19f084
use distfile with version number instead of spim.tar.gz which is the latest
|
18 years ago |
sturm
|
f6f8bc9943
distfiles w/o version numbers belong into DIST_SUBDIR
|
19 years ago |
kevlo
|
7455beb56b
update to spim 7.2.1
|
19 years ago |
kevlo
|
a9ca5a103e
upgrade to spim 7.1
|
20 years ago |
naddy
|
c4192ad706
SIZE
|
20 years ago |
robert
|
f4481585d4
update to 7.0; fix the patches; from MAINTAINER
|
20 years ago |
sturm
|
410b7236f9
update to spim 6.5
|
21 years ago |
kevlo
|
dc2baddb8c
- upgrade to version 6.4
|
23 years ago |