From 63596392f44ed6f3e6bb1cc1ccf56e74a117bba9 Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@posteo.de>
Date: Sun, 18 Dec 2016 21:45:22 +0100
Subject: [PATCH] dev-lang/fstar: fix fetching

---
 packages/dev-lang/fstar/fstar-scm.exheres-0 | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/packages/dev-lang/fstar/fstar-scm.exheres-0 b/packages/dev-lang/fstar/fstar-scm.exheres-0
index 738bdda..990522d 100644
--- a/packages/dev-lang/fstar/fstar-scm.exheres-0
+++ b/packages/dev-lang/fstar/fstar-scm.exheres-0
@@ -1,6 +1,14 @@
 # Copyright 2016 Julian Ospald <hasufell@posteo.de>
 # Distributed under the terms of the GNU General Public License v2
 
+SCM_SECONDARY_REPOSITORIES="
+    openssl
+"
+SCM_openssl_REPOSITORY="git://github.com/openssl/openssl.git"
+SCM_EXTERNAL_REFS="
+    ucontrib/CoreCrypto/ml/openssl:openssl
+"
+
 require github [ user="FStarLang" project="FStar" ]
 
 SUMMARY="An ML-like language with a type system for program verification"