fstar
This commit is contained in:
parent
3b039992d7
commit
75020665ee
|
@ -7,7 +7,7 @@
|
||||||
isim=fstar
|
isim=fstar
|
||||||
surum=0.9.5.0
|
surum=0.9.5.0
|
||||||
devir=1
|
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() {
|
derle() {
|
||||||
cd "FStar-$surum"
|
cd "FStar-$surum"
|
||||||
|
|
Loading…
Reference in New Issue