Re: [MirageOS-devel] mirage-www configure error

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA384

On 10/24/2014 15:35, Anil Madhavapeddy wrote:
> Do you have the mirage-dev opam remote activated, with the latest
> libraries?  Just run:
> 
> $ opam remote
> 
> And if you don't see it in the list, add it via
> 
> $ opam remote add mirage git://github.com/mirage/mirage-www

it should have been git://github.com/mirage/mirage-dev ;)


hannes
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCQAGBQJUSlZ6AAoJELyJZYjffCjuF1kQALuugUb1D0nWWd7uwExIcQhp
lw84GfQxCLy/ahmy2LQP2UfPKq2XTQcrVh5RCIb1G4F3no3kLeqnjlnouyEnFT39
vlx3cmOEVQymst7hwYP+rCszTsSrF/b6Y6XFfQSf0qeTdV6okfbfXsKs2tOHZK77
PkOmAmQGYCfuzEfOIt5azgSpErKpLIXf+XjTE+NwBF5kXw79RVfNjXt7M6tKLFc5
PUYu9a+oWQwYggHtvCAPnoOH7ws88MLYzav/t8QccL7y+ij9mSYXcPGyO4duHONG
0uQ3BMZCDlQFgU5EVpOFHSp1oIG9fgxoqurG31GLHtV58RfmhUgA1aXdb+gSsuSC
8mRRJyjRMLMLC2uKGG8KmM9mBkZdTAZ9h4c7baU3VGAPMAyqEn7/n1PZJv/7O16X
0OGFlXvsvWUNvESbEu9B1zTNHrKO8B6actBZhU/Wz3mNxsy6myMSEA1udNocvmxV
9mJmmOehTBBEMFpkFUHkp9qIBBliG44xQJcN9WTmM7ColekxX0n0i9NNAvZ7Rc5V
zVxww7+NUoejS8+G5O+Di5oNT+UowjTGA99hXvbcEld5qLlar3Vzc0+Gr35U3bEh
9TPClZbGEuZistjuEidFI/+rTGIkDAyzr/dunKrjX6aWcVybtCiJ3hMbLHSnuz5Z
ybRBl1G21aRAailpqUmX
=LBrJ
-----END PGP SIGNATURE-----

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel