Added computable-reals per issue #1463

xach · xach · commit ffd63cab53f9 · 2018-03-07T12:07:04.000-05:00
diff --git a/projects/computable-reals/source.txt b/projects/computable-reals/source.txt
@@ -1 +1 @@
-mercurial https://bitbucket.org/tarballs_are_good/computable-reals
+git https://github.com/tarballs-are-good/computable-reals.git

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-mercurial https://bitbucket.org/tarballs_are_good/computable-reals`
	`1`	`+git https://github.com/tarballs-are-good/computable-reals.git`