Add fallback extension for Coq
Add fallback extension for Coq

jjatria/linguist,christop/linguist,0a-/linguist,bluebear94/linguist,ammaraskar/linguist,pchaigno/linguist,MahmoudFayed/linguist,jtbandes/linguist,PsichiX/linguist,FStarLang/linguist,thejameskyle/linguist,georgesuperman/linguist,christop/linguist,cokeboL/linguist,osorgin/linguist,stanhu/linguist,MadcapJake/linguist,stanhu/linguist,anhongyue/test222,meunierfrederic/octocatlinguist,stanhu/linguist,wcandillon/linguist,georgesuperman/linguist,steventhanna/linguist,yyx990803/linguist,thejameskyle/linguist,ppaulweber/github-linguist,ya7lelkom/linguist,sebgod/linguist,sideci-sample/sideci-sample-linguist,assimovt/ling-ist,kr/linguist,alitalia/linguist,JJ/linguist,tschf/linguist,manveru/linguist,Mx7f/linguist,manveru/linguist,MadcapJake/linguist,sagar290/linguist,hcutler/linguist,seanders/linguist,BerkeleyTrue/linguist,github/linguist,leafo/linguist,erkyrath/linguist,davidzchen/linguist,sebgod/linguist,mattn/linguist,erkyrath/linguist,alvarotrigo/linguist,adamkaplan/linguist,hcatlin/linguist,JJ/linguist,davidzchen/linguist,CoderXpert/linguist,mwpastore/linguist,Ocramius/linguist,mcandre/linguist,douglas-larocca/linguist,wcandillon/linguist,SRI-CSL/linguist,assimovt/ling-ist,mwpastore/linguist,meunierfrederic/octocatlinguist,mattn/linguist,Rockyspade/linguist,R4PaSs/linguist,alitalia/linguist,FStarLang/linguist,marcojonker/test,marcojonker/test,kyoungrok0517/linguist,alvarotrigo/linguist,erkyrath/linguist,meunierfrederic/octocatlinguist,yscho/linguist,nburkley/linguist,pcantrell/linguist,martynbm/linguist,phpsgi/linguist,tschf/linguist,0a-/linguist,jtbandes/linguist,cybernet14/linguist,matt40k/linguist,Mailaender/linguist,ppaulweber/github-linguist,yscho/linguist,stanhu/linguist,CoderXpert/linguist,blakeembrey/linguist,hcatlin/linguist,nburkley/linguist,whitj00/linguist,pchaigno/linguist,iblech/linguist,douglas-larocca/linguist,kyoungrok0517/linguist,sebgod/linguist,scttnlsn/linguist,a0viedo/linguist,sebgod/linguist,MahmoudFayed/linguist,github/linguist,phpsgi/linguist,PsichiX/linguist,hcutler/linguist,jjatria/linguist,yyx990803/linguist,igat259/linguist,pcantrell/linguist,sideci-sample/sideci-sample-linguist,jrnold/linguist,whitj00/linguist,adamkaplan/linguist,anhongyue/test222,a0viedo/linguist,MostAwesomeDude/linguist,Mx7f/linguist,gitlabhq/linguist,ilyes14/linguist,steventhanna/linguist,kr/linguist,c-lipka/linguist,JJ/linguist,R4PaSs/linguist,MostAwesomeDude/linguist,Rockyspade/linguist,jrnold/linguist,blakeembrey/linguist,chiranjeevjain/linguist,SRI-CSL/linguist,pchaigno/linguist,martynbm/linguist,bluebear94/linguist,mcandre/linguist,c-lipka/linguist,matt40k/linguist,chiranjeevjain/linguist,CegepVictoriaville/linguist,BerkeleyTrue/linguist,maxogden/linguist,yyx990803/linguist,scttnlsn/linguist,seanders/linguist,cokeboL/linguist,sagar290/linguist,iblech/linguist,cybernet14/linguist,pchaigno/linguist,ammaraskar/linguist,ilyes14/linguist,github/linguist,ya7lelkom/linguist,erkyrath/linguist,yyx990803/linguist,CegepVictoriaville/linguist,JJ/linguist,osorgin/linguist,ChaiScript/linguist,github/linguist