eprover: use an https url
eprover: use an https url

hanxue/homebrew,MartinDelille/homebrew,dericed/homebrew,hakamadare/homebrew,SteveClement/homebrew,adamliter/homebrew,reelsense/homebrew,fabianfreyer/homebrew,okuramasafumi/homebrew,DoomHammer/linuxbrew,kad/homebrew,Chilledheart/homebrew,zeha/homebrew,jbeezley/homebrew,yoshida-mediba/homebrew,Linuxbrew/linuxbrew,gnawhleinad/homebrew,hongkongkiwi/homebrew,eagleflo/homebrew,frickler01/homebrew,joshua-rutherford/homebrew,emcrisostomo/homebrew,dickeyxxx/homebrew,cprecioso/homebrew,menivaitsi/homebrew,saketkc/linuxbrew,jiashuw/homebrew,keith/homebrew,ebouaziz/linuxbrew,SuperNEMO-DBD/cadfaelbrew,cprecioso/homebrew,SteveClement/homebrew,mtigas/homebrew,DoomHammer/linuxbrew,danabrand/linuxbrew,cosmo0920/homebrew,vigo/homebrew,marcwebbie/homebrew,ge11232002/homebrew,catap/homebrew,SuperNEMO-DBD/cadfaelbrew,optikfluffel/homebrew,quantumsteve/homebrew,catap/homebrew,windoze/homebrew,ilovezfs/homebrew,pdpi/homebrew,haihappen/homebrew,danieroux/homebrew,zeha/homebrew,ge11232002/homebrew,yumitsu/homebrew,Homebrew/linuxbrew,petere/homebrew,polishgeeks/homebrew,moyogo/homebrew,Angeldude/linuxbrew,SteveClement/homebrew,hongkongkiwi/homebrew,hanxue/homebrew,gicmo/homebrew,mactkg/homebrew,Asuranceturix/homebrew,hongkongkiwi/homebrew,blogabe/homebrew,sakra/homebrew,drewpc/homebrew,ento/homebrew,AGWA-forks/homebrew,osimola/homebrew,Red54/homebrew,scorphus/homebrew,optikfluffel/homebrew,gnawhleinad/homebrew,josa42/homebrew,keith/homebrew,MartinDelille/homebrew,lvicentesanchez/linuxbrew,jamer/homebrew,changzuozhen/homebrew,kvs/homebrew,okuramasafumi/homebrew,a-b/homebrew,retrography/homebrew,tonyghita/homebrew,keith/homebrew,Gasol/homebrew,sferik/homebrew,vihangm/homebrew,ear/homebrew,vigo/homebrew,arnested/homebrew,jedahan/homebrew,liamstask/homebrew,1zaman/homebrew,mobileoverlord/homebrew-1,elgertam/homebrew,dongcarl/homebrew,youtux/homebrew,scpeters/homebrew,MoSal/homebrew,tsaeger/homebrew,ybott/homebrew,frickler01/homebrew,ralic/homebrew,AGWA-forks/homebrew,changzuozhen/homebrew,retrography/homebrew,emcrisostomo/homebrew,jarrettmeyer/homebrew,alex/homebrew,scorphus/homebrew,ebouaziz/linuxbrew,decors/homebrew,coldeasy/homebrew,dunn/homebrew,scpeters/homebrew,kad/homebrew,gawbul/homebrew,moyogo/homebrew,ralic/homebrew,felixonmars/homebrew,cscetbon/homebrew,johanhammar/homebrew,recruit-tech/homebrew,amjith/homebrew,tjschuck/homebrew,cprecioso/homebrew,dgageot/homebrew,knpwrs/homebrew,cprecioso/homebrew,alebcay/homebrew,skatsuta/homebrew,apjanke/homebrew,tschoonj/homebrew,jiashuw/homebrew,deorth/homebrew,pdpi/homebrew,vihangm/homebrew,gvangool/homebrew,colindean/homebrew,reelsense/linuxbrew,brunchboy/homebrew,bchatard/homebrew,sometimesfood/homebrew,yazuuchi/homebrew,Noctem/homebrew,yangj1e/homebrew,frickler01/homebrew,zhipeng-jia/homebrew,pcottle/homebrew,afh/homebrew,xcezx/homebrew,kevinastone/homebrew,aaronwolen/homebrew,princeofdarkness76/homebrew,BrewTestBot/homebrew,utzig/homebrew,polishgeeks/homebrew,Homebrew/linuxbrew,feelpp/homebrew,davidcelis/homebrew,menivaitsi/homebrew,slyphon/homebrew,yumitsu/homebrew,max-horvath/homebrew,codeout/homebrew,martinklepsch/homebrew,mkrapp/homebrew,nelstrom/homebrew,brotbert/homebrew,alex/homebrew,razamatan/homebrew,tjschuck/homebrew,max-horvath/homebrew,petere/homebrew,jacobsa/homebrew,influxdb/homebrew,mkrapp/homebrew,dolfly/homebrew,marcusandre/homebrew,dolfly/homebrew,patrickmckenna/homebrew,amarshall/homebrew,josa42/homebrew,youtux/homebrew,hanxue/homebrew,dickeyxxx/homebrew,theeternalsw0rd/homebrew,AlexejK/homebrew,drewwells/homebrew,zhipeng-jia/homebrew,jab/homebrew,ebouaziz/linuxbrew,AlexejK/homebrew,xcezx/homebrew,drewpc/homebrew,manphiz/homebrew,jiashuw/homebrew,adamliter/homebrew,polishgeeks/homebrew,arg/homebrew,3van/homebrew,base10/homebrew,dutchcoders/homebrew,elyscape/homebrew,marcwebbie/homebrew,dkotvan/homebrew,scorphus/homebrew,lvicentesanchez/linuxbrew,treyharris/homebrew,chadcatlett/homebrew,geoff-codes/homebrew,jsjohnst/homebrew,eagleflo/homebrew,utzig/homebrew,LinusU/homebrew,saketkc/linuxbrew,a-b/homebrew,jconley/homebrew,3van/homebrew,slyphon/homebrew,ehamberg/homebrew,mommel/homebrew,lmontrieux/homebrew,polishgeeks/homebrew,alex/homebrew,ehamberg/homebrew,tschoonj/homebrew,englishm/homebrew,influxdb/homebrew,AGWA-forks/homebrew,benjaminfrank/homebrew,LinusU/homebrew,raphaelcohn/homebrew,amarshall/homebrew,dericed/homebrew,eagleflo/homebrew,razamatan/homebrew,arg/homebrew,martinklepsch/homebrew,xyproto/homebrew,lmontrieux/homebrew,Cutehacks/homebrew,koraktor/homebrew,Homebrew/homebrew,Asuranceturix/homebrew,jsjohnst/homebrew,nandub/homebrew,OJFord/homebrew,heinzf/homebrew,drbenmorgan/linuxbrew,quantumsteve/homebrew,apjanke/homebrew,davydden/linuxbrew,dgageot/homebrew,BrewTestBot/homebrew,cHoco/homebrew,Asuranceturix/homebrew,jsjohnst/homebrew,tutumcloud/homebrew,filcab/homebrew,ericfischer/homebrew,LonnyGomes/homebrew,kad/homebrew,michaKFromParis/homebrew-sparks,geoff-codes/homebrew,tonyghita/homebrew,kenips/homebrew,ilovezfs/homebrew,ge11232002/homebrew,gvangool/homebrew,base10/homebrew,colindean/homebrew,drewwells/homebrew,scorphus/homebrew,skinny-framework/homebrew,tjschuck/homebrew,Homebrew/homebrew,alebcay/homebrew,cchacin/homebrew,getgauge/homebrew,zhipeng-jia/homebrew,xcezx/homebrew,teslamint/homebrew,brotbert/homebrew,ndimiduk/homebrew,georgschoelly/homebrew,gicmo/homebrew,OJFord/homebrew,amarshall/homebrew,lvicentesanchez/linuxbrew,mommel/homebrew,cosmo0920/homebrew,bigbes/homebrew,kenips/homebrew,iostat/homebrew2,Linuxbrew/linuxbrew,decors/homebrew,jiashuw/homebrew,jedahan/homebrew,bukzor/linuxbrew,afb/homebrew,MartinDelille/homebrew,osimola/homebrew,amjith/homebrew,3van/homebrew,henry0312/homebrew,grepnull/homebrew,zeha/homebrew,bitrise-io/homebrew,changzuozhen/homebrew,miketheman/homebrew,base10/homebrew,gawbul/homebrew,keith/homebrew,blogabe/homebrew,geoff-codes/homebrew,filcab/homebrew,ebouaziz/linuxbrew,jamer/homebrew,bitrise-io/homebrew,influxdata/homebrew,Cutehacks/homebrew,influxdata/homebrew,TaylorMonacelli/homebrew,ablyler/homebrew,Chilledheart/homebrew,osimola/homebrew,reelsense/linuxbrew,LinusU/homebrew,arnested/homebrew,dunn/homebrew,raphaelcohn/homebrew,jconley/homebrew,koraktor/homebrew,pdpi/homebrew,ybott/homebrew,ExtremeMan/homebrew,scpeters/homebrew,kenips/homebrew,emcrisostomo/homebrew,Gasol/homebrew,alebcay/homebrew,lrascao/homebrew,windoze/homebrew,jeremiahyan/homebrew,drbenmorgan/linuxbrew,lrascao/homebrew,georgschoelly/homebrew,muellermartin/homebrew,dgageot/homebrew,tutumcloud/homebrew,jarrettmeyer/homebrew,craig5/homebrew,AlekSi/homebrew,jab/homebrew,ralic/homebrew,elyscape/homebrew,henry0312/homebrew,iostat/homebrew2,kashif/homebrew,eighthave/homebrew,ear/homebrew,vladshablinsky/homebrew,ericfischer/homebrew,pcottle/homebrew,booi/homebrew,3van/homebrew,dplarson/homebrew,OJFord/homebrew,ear/homebrew,megahall/homebrew,skinny-framework/homebrew,liamstask/homebrew,jacobsa/homebrew,skatsuta/homebrew,brotbert/homebrew,megahall/homebrew,thinker0/homebrew,teslamint/homebrew,teslamint/homebrew,treyharris/homebrew,tstack/homebrew,danabrand/linuxbrew,lrascao/homebrew,marcusandre/homebrew,ento/homebrew,drbenmorgan/linuxbrew,marcwebbie/homebrew,jedahan/homebrew,Habbie/homebrew,ehamberg/homebrew,AlexejK/homebrew,benjaminfrank/homebrew,ryanfb/homebrew,sferik/homebrew,drbenmorgan/linuxbrew,DoomHammer/linuxbrew,cosmo0920/homebrew,yazuuchi/homebrew,elyscape/homebrew,ge11232002/homebrew,getgauge/homebrew,dalanmiller/homebrew,SuperNEMO-DBD/cadfaelbrew,deorth/homebrew,brotbert/homebrew,zchee/homebrew,mobileoverlord/homebrew-1,utzig/homebrew,mtigas/homebrew,englishm/homebrew,fabianfreyer/homebrew,redpen-cc/homebrew,recruit-tech/homebrew,dplarson/homebrew,adamliter/homebrew,elgertam/homebrew,dutchcoders/homebrew,cHoco/homebrew,iandennismiller/homebrew,jarrettmeyer/homebrew,LonnyGomes/homebrew,tonyghita/homebrew,utzig/homebrew,Habbie/homebrew,cchacin/homebrew,teslamint/homebrew,afb/homebrew,jconley/homebrew,lvicentesanchez/homebrew,catap/homebrew,mttrb/homebrew,jsjohnst/homebrew,galaxy001/homebrew,youtux/homebrew,coldeasy/homebrew,Homebrew/linuxbrew,drewpc/homebrew,kashif/homebrew,theeternalsw0rd/homebrew,danabrand/linuxbrew,dkotvan/homebrew,MoSal/homebrew,frodeaa/homebrew,jeremiahyan/homebrew,danieroux/homebrew,josa42/homebrew,megahall/homebrew,craig5/homebrew,influxdb/homebrew,colindean/homebrew,dutchcoders/homebrew,galaxy001/homebrew,Angeldude/linuxbrew,miketheman/homebrew,bukzor/linuxbrew,Noctem/homebrew,royhodgman/homebrew,mmizutani/homebrew,Noctem/homebrew,bigbes/homebrew,aaronwolen/homebrew,nandub/homebrew,jamer/homebrew,dplarson/homebrew,moyogo/homebrew,haihappen/homebrew,geoff-codes/homebrew,vihangm/homebrew,totalvoidness/homebrew,frodeaa/homebrew,blogabe/homebrew,gawbul/homebrew,zchee/homebrew,chadcatlett/homebrew,dickeyxxx/homebrew,bitrise-io/homebrew,hyuni/homebrew,razamatan/homebrew,mtigas/homebrew,johanhammar/homebrew,sometimesfood/homebrew,jarrettmeyer/homebrew,mobileoverlord/homebrew-1,gnubila-france/linuxbrew,xyproto/homebrew,joshfriend/homebrew,kvs/homebrew,hanxue/homebrew,patrickmckenna/homebrew,cscetbon/homebrew,princeofdarkness76/homebrew,tstack/homebrew,drewpc/homebrew,tutumcloud/homebrew,dongcarl/homebrew,1zaman/homebrew,menivaitsi/homebrew,iostat/homebrew2,michaKFromParis/homebrew-sparks,patrickmckenna/homebrew,blogabe/homebrew,eighthave/homebrew,getgauge/homebrew,mttrb/homebrew,arg/homebrew,optikfluffel/homebrew,ryanfb/homebrew,SteveClement/homebrew,davydden/linuxbrew,iandennismiller/homebrew,nandub/homebrew,fabianfreyer/homebrew,AlexejK/homebrew,theeternalsw0rd/homebrew,manphiz/homebrew,ybott/homebrew,redpen-cc/homebrew,megahall/homebrew,michaKFromParis/homebrew-sparks,yazuuchi/homebrew,tseven/homebrew,decors/homebrew,ilovezfs/homebrew,Asuranceturix/homebrew,adamliter/homebrew,totalvoidness/homebrew,ablyler/homebrew,liamstask/homebrew,lvicentesanchez/homebrew,influxdb/homebrew,frodeaa/homebrew,mttrb/homebrew,sakra/homebrew,aaronwolen/homebrew,jbeezley/homebrew,afh/homebrew,ndimiduk/homebrew,liamstask/homebrew,coldeasy/homebrew,galaxy001/homebrew,booi/homebrew,totalvoidness/homebrew,kodabb/homebrew,koraktor/homebrew,galaxy001/homebrew,pcottle/homebrew,bukzor/linuxbrew,jmagnusson/homebrew,Homebrew/homebrew,cscetbon/homebrew,sakra/homebrew,vigo/homebrew,royhodgman/homebrew,tschoonj/homebrew,cHoco/homebrew,princeofdarkness76/homebrew,vladshablinsky/homebrew,hongkongkiwi/homebrew,patrickmckenna/homebrew,Gasol/homebrew,treyharris/homebrew,thinker0/homebrew,vladshablinsky/homebrew,max-horvath/homebrew,dongcarl/homebrew,jacobsa/homebrew,raphaelcohn/homebrew,osimola/homebrew,xyproto/homebrew,mttrb/homebrew,dutchcoders/homebrew,gnubila-france/linuxbrew,dkotvan/homebrew,eighthave/homebrew,pdxdan/homebrew,okuramasafumi/homebrew,grepnull/homebrew,scpeters/homebrew,yazuuchi/homebrew,lmontrieux/homebrew,alex/homebrew,jab/homebrew,Linuxbrew/linuxbrew,totalvoidness/homebrew,yangj1e/homebrew,mmizutani/homebrew,Chilledheart/homebrew,tjschuck/homebrew,menivaitsi/homebrew,gnubila-france/linuxbrew,DoomHammer/linuxbrew,ericfischer/homebrew,SteveClement/homebrew,martinklepsch/homebrew,jbeezley/homebrew,saketkc/linuxbrew,MoSal/homebrew,pdxdan/homebrew,filcab/homebrew,moyogo/homebrew,davydden/linuxbrew,vihangm/homebrew,treyharris/homebrew,gicmo/homebrew,sjackman/linuxbrew,jeremiahyan/homebrew,alebcay/homebrew,skinny-framework/homebrew,ablyler/homebrew,gnawhleinad/homebrew,AlekSi/homebrew,Linuxbrew/linuxbrew,Red54/homebrew,benjaminfrank/homebrew,zchee/homebrew,georgschoelly/homebrew,grepnull/homebrew,mtigas/homebrew,yoshida-mediba/homebrew,slyphon/homebrew,davydden/linuxbrew,afh/homebrew,dongcarl/homebrew,codeout/homebrew,dericed/homebrew,hakamadare/homebrew,muellermartin/homebrew,cchacin/homebrew,dkotvan/homebrew,sjackman/linuxbrew,skinny-framework/homebrew,nelstrom/homebrew,afb/homebrew,elyscape/homebrew,arg/homebrew,recruit-tech/homebrew,Homebrew/homebrew,windoze/homebrew,benjaminfrank/homebrew,knpwrs/homebrew,gnubila-france/linuxbrew,jconley/homebrew,jab/homebrew,bitrise-io/homebrew,catap/homebrew,1zaman/homebrew,tseven/homebrew,martinklepsch/homebrew,ilovezfs/homebrew,ExtremeMan/homebrew,emcrisostomo/homebrew,kodabb/homebrew,MartinDelille/homebrew,afb/homebrew,AlekSi/homebrew,pdxdan/homebrew,kevinastone/homebrew,tseven/homebrew,jmagnusson/homebrew,knpwrs/homebrew,xcezx/homebrew,gnawhleinad/homebrew,mmizutani/homebrew,iandennismiller/homebrew,cHoco/homebrew,raphaelcohn/homebrew,dalanmiller/homebrew,iostat/homebrew2,koraktor/homebrew,yoshida-mediba/homebrew,zhipeng-jia/homebrew,joshua-rutherford/homebrew,yangj1e/homebrew,Red54/homebrew,henry0312/homebrew,royhodgman/homebrew,mactkg/homebrew,zchee/homebrew,nandub/homebrew,skatsuta/homebrew,kodabb/homebrew,ralic/homebrew,jmagnusson/homebrew,grepnull/homebrew,royhodgman/homebrew,AGWA-forks/homebrew,yoshida-mediba/homebrew,nelstrom/homebrew,reelsense/homebrew,LonnyGomes/homebrew,craig5/homebrew,princeofdarkness76/homebrew,hyuni/homebrew,sakra/homebrew,johanhammar/homebrew,Habbie/homebrew,a-b/homebrew,changzuozhen/homebrew,tonyghita/homebrew,sferik/homebrew,filcab/homebrew,deorth/homebrew,heinzf/homebrew,jbeezley/homebrew,TaylorMonacelli/homebrew,manphiz/homebrew,codeout/homebrew,booi/homebrew,dericed/homebrew,kvs/homebrew,coldeasy/homebrew,redpen-cc/homebrew,cosmo0920/homebrew,haihappen/homebrew,heinzf/homebrew,felixonmars/homebrew,quantumsteve/homebrew,apjanke/homebrew,dgageot/homebrew,tstack/homebrew,afh/homebrew,brunchboy/homebrew,amarshall/homebrew,sjackman/linuxbrew,eighthave/homebrew,davidcelis/homebrew,ryanfb/homebrew,kevinastone/homebrew,amjith/homebrew,arnested/homebrew,mobileoverlord/homebrew-1,gvangool/homebrew,MoSal/homebrew,danieroux/homebrew,retrography/homebrew,colindean/homebrew,muellermartin/homebrew,englishm/homebrew,davidcelis/homebrew,TaylorMonacelli/homebrew,dickeyxxx/homebrew,thinker0/homebrew,brunchboy/homebrew,razamatan/homebrew,tseven/homebrew,manphiz/homebrew,feelpp/homebrew,pcottle/homebrew,pcottle/homebrew,haihappen/homebrew,esamson/homebrew,knpwrs/homebrew,slyphon/homebrew,OJFord/homebrew,ento/homebrew,yumitsu/homebrew,mommel/homebrew,sjackman/linuxbrew,aaronwolen/homebrew,influxdata/homebrew,hyuni/homebrew,dalanmiller/homebrew,youtux/homebrew,kad/homebrew,kvs/homebrew,heinzf/homebrew,mactkg/homebrew,frickler01/homebrew,georgschoelly/homebrew,lvicentesanchez/homebrew,mmizutani/homebrew,tsaeger/homebrew,dolfly/homebrew,iandennismiller/homebrew,bchatard/homebrew,Habbie/homebrew,thinker0/homebrew,xyproto/homebrew,sometimesfood/homebrew,reelsense/homebrew,esamson/homebrew,jacobsa/homebrew,tschoonj/homebrew,dplarson/homebrew,Cutehacks/homebrew,jamer/homebrew,hakamadare/homebrew,nelstrom/homebrew,gvangool/homebrew,arnested/homebrew,elgertam/homebrew,reelsense/linuxbrew,Cutehacks/homebrew,Gasol/homebrew,getgauge/homebrew,frodeaa/homebrew,esamson/homebrew,ndimiduk/homebrew,a-b/homebrew,sferik/homebrew,lvicentesanchez/homebrew,felixonmars/homebrew,feelpp/homebrew,joshua-rutherford/homebrew,danieroux/homebrew,tsaeger/homebrew,bigbes/homebrew,amjith/homebrew,BrewTestBot/homebrew,tsaeger/homebrew,Angeldude/linuxbrew,joshfriend/homebrew,gicmo/homebrew,dolfly/homebrew,LinusU/homebrew,kodabb/homebrew,marcusandre/homebrew,hyuni/homebrew,jedahan/homebrew,bchatard/homebrew,hakamadare/homebrew,lmontrieux/homebrew,bchatard/homebrew,ybott/homebrew,base10/homebrew,redpen-cc/homebrew,decors/homebrew,mkrapp/homebrew,englishm/homebrew,LonnyGomes/homebrew,brunchboy/homebrew,felixonmars/homebrew,joshfriend/homebrew,Chilledheart/homebrew,ablyler/homebrew,windoze/homebrew,petere/homebrew,apjanke/homebrew,mommel/homebrew,theeternalsw0rd/homebrew,Red54/homebrew,saketkc/linuxbrew,retrography/homebrew,tstack/homebrew,influxdata/homebrew,ericfischer/homebrew,bigbes/homebrew,AlekSi/homebrew,feelpp/homebrew,kevinastone/homebrew,bukzor/linuxbrew,max-horvath/homebrew,zeha/homebrew,joshua-rutherford/homebrew,yangj1e/homebrew,sometimesfood/homebrew,vigo/homebrew,okuramasafumi/homebrew,miketheman/homebrew,dalanmiller/homebrew,pdxdan/homebrew,miketheman/homebrew,chadcatlett/homebrew,ear/homebrew,codeout/homebrew,craig5/homebrew,johanhammar/homebrew,pdpi/homebrew,petere/homebrew,Asuranceturix/homebrew,marcusandre/homebrew,dunn/homebrew,1zaman/homebrew,jmagnusson/homebrew,danabrand/linuxbrew,recruit-tech/homebrew,ExtremeMan/homebrew,kashif/homebrew,kashif/homebrew,esamson/homebrew,drewwells/homebrew,ExtremeMan/homebrew,skatsuta/homebrew,henry0312/homebrew,jeremiahyan/homebrew,drewwells/homebrew,mactkg/homebrew,davidcelis/homebrew,marcwebbie/homebrew,ryanfb/homebrew,Noctem/homebrew,ehamberg/homebrew,Homebrew/linuxbrew,cchacin/homebrew,reelsense/linuxbrew,TaylorMonacelli/homebrew,reelsense/homebrew,kenips/homebrew,dunn/homebrew,optikfluffel/homebrew,BrewTestBot/homebrew,tutumcloud/homebrew,quantumsteve/homebrew,elgertam/homebrew,lvicentesanchez/linuxbrew,muellermartin/homebrew,ndimiduk/homebrew,ento/homebrew,fabianfreyer/homebrew,Angeldude/linuxbrew,SuperNEMO-DBD/cadfaelbrew,vladshablinsky/homebrew,eagleflo/homebrew