Chad Feller <cfeller <at> unr.nevada.edu> writes: > > Interestingly enough, and although not listed on their download page, > you can still > > wget http://pikdev.free.fr/pikdev-0.7.0.tar.gz > > successfully
Yes, but wget http://pikdev.free.fr/pikdev-0.7.1-r1.tar.gz does not work.... eix pikdev * dev-embedded/pikdev Available versions: 0.6.6a 0.7.1 0.7.1-r1 ~0.7.1-r2 0.7.1-r2 is masked and not available.... In fact none of these past 0.6.6a are available... Any other ideas? -- [email protected] mailing list
