-R . CoqEAL
ssrcomplements.v
mxstructure.v
dvdring.v
bareiss.v
binnat.v
binint.v
# binint_direct.v
# invmx.v
karatsuba.v
minor.v
binetcauchy.v
refinements.v
rational.v
seqpoly.v
hpoly.v
pos.v
seqmatrix.v
# intmodp.v
# boolF2.v
funperm.v
rank.v
gauss.v
strassen.v
smith.v 

binint_test.v
seqmatrix_test.v
# strassen_test.v

#OTHERFLAGS = "-I $(SSRSRC) -I $(SSRLIB)"
OTHERFLAGS = "-I $(SSRSRC) -R $(SSRLIB) Ssreflect"
COQDEP = "$(COQBIN)coqdep $(OTHERFLAGS) -c"
