diff --git a/packages/mirage-xen-minios/mirage-xen-minios.0.9.3/opam b/packages/mirage-xen-minios/mirage-xen-minios.0.9.3/opam
index 92852d047621..2afe9402240e 100644
--- a/packages/mirage-xen-minios/mirage-xen-minios.0.9.3/opam
+++ b/packages/mirage-xen-minios/mirage-xen-minios.0.9.3/opam
@@ -25,3 +25,7 @@ url {
   src: "https://github.com/mirage/mirage-xen-minios/archive/v0.9.3.tar.gz"
   checksum: "md5=d86817675f351d8fcc4f887f129ec953"
 }
+extra-source "v0.5.4.tar.gz" {
+  src: "https://github.com/JuliaLang/openlibm/archive/v0.5.4.tar.gz"
+  checksum: "md5=3cb0e96d1fd4d2a4a3e680c23f11768a"
+}