idris 0.10
idris 0.10

Closes #48303.

Signed-off-by: Dominyk Tiller <53e438f55903875d07efdd98a8aaf887e7208dd3@gmail.com>

BrewTestBot/homebrew,dunn/homebrew,sjackman/linuxbrew,SuperNEMO-DBD/cadfaelbrew,elgertam/homebrew,SuperNEMO-DBD/cadfaelbrew,frodeaa/homebrew,booi/homebrew,base10/homebrew,hanxue/homebrew,frodeaa/homebrew,sferik/homebrew,yazuuchi/homebrew,johanhammar/homebrew,menivaitsi/homebrew,Linuxbrew/linuxbrew,hakamadare/homebrew,getgauge/homebrew,benjaminfrank/homebrew,deorth/homebrew,Linuxbrew/linuxbrew,reelsense/homebrew,influxdata/homebrew,sjackman/linuxbrew,getgauge/homebrew,recruit-tech/homebrew,eighthave/homebrew,dutchcoders/homebrew,quantumsteve/homebrew,filcab/homebrew,ilovezfs/homebrew,dericed/homebrew,lrascao/homebrew,redpen-cc/homebrew,vigo/homebrew,liamstask/homebrew,hongkongkiwi/homebrew,AlexejK/homebrew,ralic/homebrew,hongkongkiwi/homebrew,Red54/homebrew,Asuranceturix/homebrew,kenips/homebrew,ebouaziz/linuxbrew,pcottle/homebrew,michaKFromParis/homebrew-sparks,Chilledheart/homebrew,ryanfb/homebrew,dutchcoders/homebrew,ybott/homebrew,ear/homebrew,utzig/homebrew,dericed/homebrew,sakra/homebrew,liamstask/homebrew,elyscape/homebrew,retrography/homebrew,scpeters/homebrew,polishgeeks/homebrew,TaylorMonacelli/homebrew,influxdb/homebrew,josa42/homebrew,drbenmorgan/linuxbrew,theeternalsw0rd/homebrew,jarrettmeyer/homebrew,LinusU/homebrew,skatsuta/homebrew,3van/homebrew,sakra/homebrew,cprecioso/homebrew,hongkongkiwi/homebrew,Linuxbrew/linuxbrew,theeternalsw0rd/homebrew,kevinastone/homebrew,decors/homebrew,dickeyxxx/homebrew,ilovezfs/homebrew,ExtremeMan/homebrew,thinker0/homebrew,totalvoidness/homebrew,galaxy001/homebrew,eighthave/homebrew,OJFord/homebrew,reelsense/linuxbrew,decors/homebrew,utzig/homebrew,hakamadare/homebrew,ExtremeMan/homebrew,apjanke/homebrew,dericed/homebrew,ear/homebrew,alebcay/homebrew,sometimesfood/homebrew,quantumsteve/homebrew,ExtremeMan/homebrew,hanxue/homebrew,jsjohnst/homebrew,3van/homebrew,haihappen/homebrew,bigbes/homebrew,dplarson/homebrew,MartinDelille/homebrew,ilovezfs/homebrew,kodabb/homebrew,dplarson/homebrew,OJFord/homebrew,booi/homebrew,haihappen/homebrew,DoomHammer/linuxbrew,sferik/homebrew,kodabb/homebrew,Homebrew/linuxbrew,dericed/homebrew,dalanmiller/homebrew,dunn/homebrew,totalvoidness/homebrew,drewwells/homebrew,reelsense/homebrew,jsjohnst/homebrew,keith/homebrew,booi/homebrew,gicmo/homebrew,cscetbon/homebrew,dickeyxxx/homebrew,ralic/homebrew,reelsense/homebrew,chadcatlett/homebrew,cosmo0920/homebrew,apjanke/homebrew,3van/homebrew,SteveClement/homebrew,scorphus/homebrew,skatsuta/homebrew,Asuranceturix/homebrew,elyscape/homebrew,marcwebbie/homebrew,galaxy001/homebrew,jsjohnst/homebrew,yazuuchi/homebrew,AlexejK/homebrew,dunn/homebrew,decors/homebrew,youtux/homebrew,apjanke/homebrew,brunchboy/homebrew,BrewTestBot/homebrew,utzig/homebrew,vigo/homebrew,Homebrew/linuxbrew,esamson/homebrew,tutumcloud/homebrew,treyharris/homebrew,brunchboy/homebrew,vigo/homebrew,dongcarl/homebrew,MartinDelille/homebrew,gnubila-france/linuxbrew,gawbul/homebrew,kodabb/homebrew,dalanmiller/homebrew,johanhammar/homebrew,MoSal/homebrew,ryanfb/homebrew,totalvoidness/homebrew,filcab/homebrew,yumitsu/homebrew,adamliter/homebrew,influxdb/homebrew,frodeaa/homebrew,Red54/homebrew,redpen-cc/homebrew,jamer/homebrew,youtux/homebrew,keith/homebrew,jamer/homebrew,josa42/homebrew,cscetbon/homebrew,joshfriend/homebrew,muellermartin/homebrew,osimola/homebrew,ablyler/homebrew,AlexejK/homebrew,elgertam/homebrew,royhodgman/homebrew,keith/homebrew,cprecioso/homebrew,royhodgman/homebrew,redpen-cc/homebrew,afh/homebrew,jarrettmeyer/homebrew,eighthave/homebrew,DoomHammer/linuxbrew,gicmo/homebrew,cosmo0920/homebrew,getgauge/homebrew,ralic/homebrew,slyphon/homebrew,muellermartin/homebrew,saketkc/linuxbrew,johanhammar/homebrew,sometimesfood/homebrew,drbenmorgan/linuxbrew,cosmo0920/homebrew,ebouaziz/linuxbrew,totalvoidness/homebrew,tschoonj/homebrew,hongkongkiwi/homebrew,deorth/homebrew,Chilledheart/homebrew,thinker0/homebrew,kenips/homebrew,menivaitsi/homebrew,filcab/homebrew,treyharris/homebrew,michaKFromParis/homebrew-sparks,OJFord/homebrew,nandub/homebrew,Homebrew/linuxbrew,tutumcloud/homebrew,brunchboy/homebrew,polishgeeks/homebrew,LinusU/homebrew,kevinastone/homebrew,gnubila-france/linuxbrew,hanxue/homebrew,hakamadare/homebrew,OJFord/homebrew,drewwells/homebrew,iostat/homebrew2,elgertam/homebrew,skinny-framework/homebrew,getgauge/homebrew,tutumcloud/homebrew,georgschoelly/homebrew,ybott/homebrew,georgschoelly/homebrew,mkrapp/homebrew,optikfluffel/homebrew,bukzor/linuxbrew,reelsense/linuxbrew,scpeters/homebrew,bigbes/homebrew,3van/homebrew,afh/homebrew,influxdata/homebrew,reelsense/homebrew,gicmo/homebrew,scorphus/homebrew,Homebrew/homebrew,tutumcloud/homebrew,marcwebbie/homebrew,slyphon/homebrew,mkrapp/homebrew,quantumsteve/homebrew,hanxue/homebrew,iostat/homebrew2,cosmo0920/homebrew,dunn/homebrew,SuperNEMO-DBD/cadfaelbrew,yazuuchi/homebrew,ilovezfs/homebrew,DoomHammer/linuxbrew,ebouaziz/linuxbrew,danieroux/homebrew,kenips/homebrew,BrewTestBot/homebrew,kevinastone/homebrew,base10/homebrew,drewwells/homebrew,scorphus/homebrew,optikfluffel/homebrew,brunchboy/homebrew,apjanke/homebrew,danieroux/homebrew,sakra/homebrew,chadcatlett/homebrew,dalanmiller/homebrew,marcwebbie/homebrew,ralic/homebrew,nandub/homebrew,dutchcoders/homebrew,MoSal/homebrew,Asuranceturix/homebrew,alebcay/homebrew,slyphon/homebrew,emcrisostomo/homebrew,MartinDelille/homebrew,adamliter/homebrew,tschoonj/homebrew,galaxy001/homebrew,MartinDelille/homebrew,danieroux/homebrew,skinny-framework/homebrew,marcwebbie/homebrew,georgschoelly/homebrew,emcrisostomo/homebrew,ExtremeMan/homebrew,kenips/homebrew,mobileoverlord/homebrew-1,emcrisostomo/homebrew,Homebrew/homebrew,vigo/homebrew,redpen-cc/homebrew,decors/homebrew,gicmo/homebrew,dongcarl/homebrew,ebouaziz/linuxbrew,youtux/homebrew,MoSal/homebrew,ablyler/homebrew,Homebrew/homebrew,muellermartin/homebrew,sferik/homebrew,yazuuchi/homebrew,slyphon/homebrew,benjaminfrank/homebrew,SuperNEMO-DBD/cadfaelbrew,SteveClement/homebrew,yumitsu/homebrew,alebcay/homebrew,jarrettmeyer/homebrew,sjackman/linuxbrew,ear/homebrew,mobileoverlord/homebrew-1,tschoonj/homebrew,MoSal/homebrew,optikfluffel/homebrew,menivaitsi/homebrew,eighthave/homebrew,liamstask/homebrew,ybott/homebrew,kodabb/homebrew,polishgeeks/homebrew,SteveClement/homebrew,menivaitsi/homebrew,iostat/homebrew2,pcottle/homebrew,jamer/homebrew,bigbes/homebrew,Homebrew/homebrew,cscetbon/homebrew,reelsense/linuxbrew,bukzor/linuxbrew,Angeldude/linuxbrew,drbenmorgan/linuxbrew,Chilledheart/homebrew,cprecioso/homebrew,mobileoverlord/homebrew-1,emcrisostomo/homebrew,dplarson/homebrew,LinusU/homebrew,Red54/homebrew,haihappen/homebrew,saketkc/linuxbrew,afh/homebrew,skinny-framework/homebrew,deorth/homebrew,ryanfb/homebrew,sometimesfood/homebrew,gnubila-france/linuxbrew,LinusU/homebrew,drewwells/homebrew,johanhammar/homebrew,reelsense/linuxbrew,lrascao/homebrew,esamson/homebrew,base10/homebrew,cprecioso/homebrew,jsjohnst/homebrew,royhodgman/homebrew,kevinastone/homebrew,Linuxbrew/linuxbrew,TaylorMonacelli/homebrew,theeternalsw0rd/homebrew,TaylorMonacelli/homebrew,osimola/homebrew,recruit-tech/homebrew,drbenmorgan/linuxbrew,dongcarl/homebrew,TaylorMonacelli/homebrew,dplarson/homebrew,benjaminfrank/homebrew,pcottle/homebrew,bukzor/linuxbrew,ybott/homebrew,hakamadare/homebrew,osimola/homebrew,filcab/homebrew,recruit-tech/homebrew,bigbes/homebrew,thinker0/homebrew,georgschoelly/homebrew,influxdata/homebrew,dickeyxxx/homebrew,influxdb/homebrew,Angeldude/linuxbrew,danieroux/homebrew,ablyler/homebrew,SteveClement/homebrew,adamliter/homebrew,joshfriend/homebrew,influxdb/homebrew,dalanmiller/homebrew,sometimesfood/homebrew,Asuranceturix/homebrew,elgertam/homebrew,polishgeeks/homebrew,retrography/homebrew,utzig/homebrew,theeternalsw0rd/homebrew,Homebrew/linuxbrew,base10/homebrew,liamstask/homebrew,treyharris/homebrew,scpeters/homebrew,quantumsteve/homebrew,dutchcoders/homebrew,muellermartin/homebrew,michaKFromParis/homebrew-sparks,elyscape/homebrew,haihappen/homebrew,frodeaa/homebrew,retrography/homebrew,pcottle/homebrew,dongcarl/homebrew,afh/homebrew,pcottle/homebrew,adamliter/homebrew,joshfriend/homebrew,dickeyxxx/homebrew,Angeldude/linuxbrew,scorphus/homebrew,gnubila-france/linuxbrew,saketkc/linuxbrew,iostat/homebrew2,Red54/homebrew,ablyler/homebrew,jarrettmeyer/homebrew,sferik/homebrew,esamson/homebrew,gawbul/homebrew,bukzor/linuxbrew,optikfluffel/homebrew,keith/homebrew,AlexejK/homebrew,sjackman/linuxbrew,osimola/homebrew,SteveClement/homebrew,skatsuta/homebrew,DoomHammer/linuxbrew,treyharris/homebrew,mobileoverlord/homebrew-1,ryanfb/homebrew,recruit-tech/homebrew,influxdata/homebrew,esamson/homebrew,nandub/homebrew,retrography/homebrew,jamer/homebrew,lrascao/homebrew,mkrapp/homebrew,galaxy001/homebrew,josa42/homebrew,elyscape/homebrew,royhodgman/homebrew,Asuranceturix/homebrew,thinker0/homebrew,skatsuta/homebrew,alebcay/homebrew,Chilledheart/homebrew,nandub/homebrew,saketkc/linuxbrew,youtux/homebrew,yumitsu/homebrew,benjaminfrank/homebrew,gawbul/homebrew,BrewTestBot/homebrew,chadcatlett/homebrew,scpeters/homebrew,Angeldude/linuxbrew,skinny-framework/homebrew,sakra/homebrew,ear/homebrew,tschoonj/homebrew