Searched refs:CYGWIN_MIRROR (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server4 CYGWIN_MIRROR="https://ftp.eq.uc.pt/software/pc/prog/cygwin"
23 download "$CYGWIN_MIRROR/x86/setup.xz" "x86"
24 download "$CYGWIN_MIRROR/x86/setup.xz.sig" "x86"
25 download "$CYGWIN_MIRROR/x86_64/setup.xz" "x86_64"
26 download "$CYGWIN_MIRROR/x86_64/setup.xz.sig" "x86_64"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server4 CYGWIN_MIRROR="https://ftp.eq.uc.pt/software/pc/prog/cygwin"
23 download "$CYGWIN_MIRROR/x86/setup.xz" "x86"
24 download "$CYGWIN_MIRROR/x86/setup.xz.sig" "x86"
25 download "$CYGWIN_MIRROR/x86_64/setup.xz" "x86_64"
26 download "$CYGWIN_MIRROR/x86_64/setup.xz.sig" "x86_64"
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dmakedist_bundle289 CYGWIN_MIRROR="$(cat contrib/cygwin/isabelle/cygwin_mirror)"
291 perl -p > "Cygwin-Setup.bat" -e "s,{MIRROR},$CYGWIN_MIRROR,;"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dmakedist_bundle289 CYGWIN_MIRROR="$(cat contrib/cygwin/isabelle/cygwin_mirror)"
291 perl -p > "Cygwin-Setup.bat" -e "s,{MIRROR},$CYGWIN_MIRROR,;"

Completed in 89 milliseconds