From 75020665eef16eb752c735f8decb4a109005ac02 Mon Sep 17 00:00:00 2001
From: milisbir <milisarge@gmail.com>
Date: Mon, 16 Apr 2018 05:14:00 +0300
Subject: [PATCH] fstar

---
 talimatname/genel/f/fstar/talimat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/talimatname/genel/f/fstar/talimat b/talimatname/genel/f/fstar/talimat
index 308a27a52..20b29db27 100644
--- a/talimatname/genel/f/fstar/talimat
+++ b/talimatname/genel/f/fstar/talimat
@@ -7,7 +7,7 @@
 isim=fstar
 surum=0.9.5.0
 devir=1
-kaynak=(https://github.com/FStarLang/FStar/archive/v$surum.zip::$isim-$surum.tar.gz)
+kaynak=(https://github.com/FStarLang/FStar/archive/v$surum.tar.gz::$isim-$surum.tar.gz)
 
 derle() {
   cd "FStar-$surum"