update ptmap's repo to the real upstream

Re: UnixJunkie/ptmap#1 (comment)
essdotteedot · Jul 24, 2017 · 4f80fe3 · 4f80fe3
1 parent 109564a
commit 4f80fe3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/ptmap/ptmap.2.0.1/opam b/packages/ptmap/ptmap.2.0.1/opam
@@ -2,8 +2,8 @@ opam-version: "1.2"
 maintainer: "Jean-Christophe.Filliatre@lri.fr"
 authors: ["Jean-Christophe Filliâtre"]
 homepage: "https://www.lri.fr/~filliatr/software.en.html"
-bug-reports: "https://github.com/UnixJunkie/ptmap/issues"
-dev-repo: "https://github.com/UnixJunkie/ptmap.git"
+bug-reports: "https://github.com/backtracking/ptmap/issues"
+dev-repo: "https://github.com/backtracking/ptmap.git"
 license: "GPL-2.1"
 build: [
   ["obuild" "configure"]