OCamlPro/opam-repository — pull request #638 by Chris00 (2013-04-11 17:12:42+00:00)
Title: Update archimedes 0.4.15

This avoids a warning during `opam update` (somebody reported it to me).