diff --git a/mpfr.yaml b/mpfr.yaml new file mode 100644 index 0000000..d8aa85c --- /dev/null +++ b/mpfr.yaml @@ -0,0 +1,4 @@ +version_control: svn +src_repo: https://scm.gforge.inria.fr/anonscm/svn/mpfr/tags +tag_prefix: +seperator: .