Update cl-mpi per #1004.

xach · xach · commit 1c839fc747e6 · 2015-10-23T10:19:28.000-04:00
diff --git a/projects/cl-mpi/source.txt b/projects/cl-mpi/source.txt
@@ -1,2 +1 @@
-git git://github.com/angavrilov/cl-mpi.git
-
+git https://github.com/marcoheisig/cl-mpi.git

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1 @@`
`1`		`-git git://github.com/angavrilov/cl-mpi.git`
`2`		`-`
	`1`	`+git https://github.com/marcoheisig/cl-mpi.git`