Searched refs:CYGWIN_MAIN (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server3 CYGWIN_MAIN="https://cygwin.com"
21 download "$CYGWIN_MAIN/setup-x86.exe"
22 download "$CYGWIN_MAIN/setup-x86_64.exe"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server3 CYGWIN_MAIN="https://cygwin.com"
21 download "$CYGWIN_MAIN/setup-x86.exe"
22 download "$CYGWIN_MAIN/setup-x86_64.exe"

Completed in 91 milliseconds