[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Jürgen Hötzel via arch-commits]

Date: Saturday, August 29, 2020 @ 13:17:33
  Author: juergen
Revision: 692209

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 692208, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  192 ++---
 1 file changed, 96 insertions(+), 96 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2020-08-29 13:17:27 UTC (rev 692208)
+++ PKGBUILD2020-08-29 13:17:33 UTC (rev 692209)
@@ -1,96 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.12.0
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'ocaml-num' 'gtk3' 'gtksourceview3')
-makedepends=('ocaml-findlib'
- 'lablgtk3' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-  # https://github.com/coq/coq/issues/12332
-  SPHINXWARNERROR=0 make world
-}
-
-package_coq() {
-  depends=('ocaml')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'gtk3' 'gtksourceview3')
-
-  cd "$srcdir/coq-$pkgver"
-
-  mkdir -p "${pkgdir}/usr/bin"
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  rm -f "${pkgdir}/usr/bin"/coqidetop{,.opt}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 692208, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2020-08-29 13:17:33 UTC (rev 692209)
@@ -0,0 +1,96 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.12.0
+pkgrel=2
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml>=4.11.0' 'ocaml-num' 'gtk3' 'gtksourceview3')
+makedepends=('ocaml-findlib'
+ 'lablgtk3' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Tuesday, January 28, 2020 @ 23:05:09
  Author: zorun
Revision: 558368

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 558367, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  194 ++---
 1 file changed, 97 insertions(+), 97 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2020-01-28 23:04:59 UTC (rev 558367)
+++ PKGBUILD2020-01-28 23:05:09 UTC (rev 558368)
@@ -1,97 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.10.2
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'ocaml-num' 'gtk3' 'gtksourceview3')
-makedepends=('ocaml-findlib'
- 'lablgtk3' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'gtk3' 'gtksourceview3')
-
-  cd "$srcdir/coq-$pkgver"
-
-  mkdir -p "${pkgdir}/usr/bin"
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  rm -f "${pkgdir}/usr/bin"/coqidetop{,.opt}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 558367, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2020-01-28 23:05:09 UTC (rev 558368)
@@ -0,0 +1,97 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.11.0
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'ocaml-num' 'gtk3' 'gtksourceview3')
+makedepends=('ocaml-findlib'
+ 'lablgtk3' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+   

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Felix Yan via arch-commits]

Date: Thursday, December 26, 2019 @ 00:11:02
  Author: felixonmars
Revision: 541537

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 541536, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  194 ++---
 1 file changed, 97 insertions(+), 97 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2019-12-26 00:10:43 UTC (rev 541536)
+++ PKGBUILD2019-12-26 00:11:02 UTC (rev 541537)
@@ -1,97 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.10.1
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'ocaml-num' 'gtk3' 'gtksourceview3')
-makedepends=('ocaml-findlib'
- 'lablgtk3' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'gtk3' 'gtksourceview3')
-
-  cd "$srcdir/coq-$pkgver"
-
-  mkdir -p "${pkgdir}/usr/bin"
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  rm -f "${pkgdir}/usr/bin"/coqidetop{,.opt}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 541536, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2019-12-26 00:11:02 UTC (rev 541537)
@@ -0,0 +1,97 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.10.2
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'ocaml-num' 'gtk3' 'gtksourceview3')
+makedepends=('ocaml-findlib'
+ 'lablgtk3' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+   

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Friday, May 31, 2019 @ 16:26:31
  Author: zorun
Revision: 475994

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 475993, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  193 ++---
 1 file changed, 97 insertions(+), 96 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2019-05-31 16:26:22 UTC (rev 475993)
+++ PKGBUILD2019-05-31 16:26:31 UTC (rev 475994)
@@ -1,96 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.9.0
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('42b2e0ae669c06803b6b527a194d78675de18869f6342fc8afc49cfc94f3e98ca0c3b4fd52d3af8c5ce66c6efb1c665ac0d65e992ad29c3f432e244f98ec2ca1')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  rm -f "${pkgdir}/usr/bin"/coqidetop{,.opt}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 475993, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2019-05-31 16:26:31 UTC (rev 475994)
@@ -0,0 +1,97 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.9.1
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Wednesday, January 23, 2019 @ 21:16:28
  Author: zorun
Revision: 427403

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 427402, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  191 ++---
 1 file changed, 96 insertions(+), 95 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2019-01-23 21:16:11 UTC (rev 427402)
+++ PKGBUILD2019-01-23 21:16:28 UTC (rev 427403)
@@ -1,95 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.2
-pkgrel=2
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('b0f0480fe052fced6016014cf1872d4e004b0dacb779927376d797c279aca9d5f6f4ed3d0f5ee5d42748bbd5c29b43f7a69748564a12a116bcc7ba3b052d8954')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 427402, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2019-01-23 21:16:28 UTC (rev 427403)
@@ -0,0 +1,96 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.9.0
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 'python' 'python-sphinx' 

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Jürgen Hötzel via arch-commits]

Date: Thursday, November 29, 2018 @ 07:12:48
  Author: juergen
Revision: 410505

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 410504, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  190 ++---
 1 file changed, 95 insertions(+), 95 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-11-29 07:12:38 UTC (rev 410504)
+++ PKGBUILD2018-11-29 07:12:48 UTC (rev 410505)
@@ -1,95 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.2
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('b0f0480fe052fced6016014cf1872d4e004b0dacb779927376d797c279aca9d5f6f4ed3d0f5ee5d42748bbd5c29b43f7a69748564a12a116bcc7ba3b052d8954')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 410504, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-11-29 07:12:48 UTC (rev 410505)
@@ -0,0 +1,95 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.8.2
+pkgrel=2
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 'python' 'python-sphinx' 

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Monday, October 1, 2018 @ 00:52:43
  Author: zorun
Revision: 388719

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 388718, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  190 ++---
 1 file changed, 95 insertions(+), 95 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-10-01 00:52:22 UTC (rev 388718)
+++ PKGBUILD2018-10-01 00:52:43 UTC (rev 388719)
@@ -1,95 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.1
-pkgrel=3
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('706fdc196ca4b8f27dae834426d926cd7d2c8b215af8cbb2653a0bda088068ed9f492cf8f11d123a1f2166b26f86e91a84765e53beb20172dc530f6dd796d8d4')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 388718, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-10-01 00:52:43 UTC (rev 388719)
@@ -0,0 +1,95 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.8.2
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 'python' 'python-sphinx' 

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Jürgen Hötzel via arch-commits]

Date: Tuesday, August 14, 2018 @ 16:03:13
  Author: juergen
Revision: 371599

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 371598, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  190 ++---
 1 file changed, 95 insertions(+), 95 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-08-14 16:02:00 UTC (rev 371598)
+++ PKGBUILD2018-08-14 16:03:13 UTC (rev 371599)
@@ -1,95 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.1
-pkgrel=2
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('706fdc196ca4b8f27dae834426d926cd7d2c8b215af8cbb2653a0bda088068ed9f492cf8f11d123a1f2166b26f86e91a84765e53beb20172dc530f6dd796d8d4')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 371598, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-08-14 16:03:13 UTC (rev 371599)
@@ -0,0 +1,95 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.8.1
+pkgrel=3
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 'python' 'python-sphinx' 

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Thursday, July 5, 2018 @ 07:43:40
  Author: zorun
Revision: 352458

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 352457, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  190 ++---
 1 file changed, 95 insertions(+), 95 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-07-05 07:43:27 UTC (rev 352457)
+++ PKGBUILD2018-07-05 07:43:40 UTC (rev 352458)
@@ -1,95 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.1
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('706fdc196ca4b8f27dae834426d926cd7d2c8b215af8cbb2653a0bda088068ed9f492cf8f11d123a1f2166b26f86e91a84765e53beb20172dc530f6dd796d8d4')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 352457, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-07-05 07:43:40 UTC (rev 352458)
@@ -0,0 +1,95 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.8.1
+pkgrel=2
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 'python' 'python-sphinx' 

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Friday, June 29, 2018 @ 20:51:08
  Author: zorun
Revision: 347780

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 347779, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  190 ++---
 1 file changed, 95 insertions(+), 95 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-06-29 20:50:46 UTC (rev 347779)
+++ PKGBUILD2018-06-29 20:51:08 UTC (rev 347780)
@@ -1,95 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.0
-pkgrel=2
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('04ce3bca407a2b4c686e0ff14709516fabffc5256ee311ce90f8e5320ca03a0e557bac82b865b0ce31b17fd763db16194ce3b07e9a13398ac30745a7030ac982')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "$pkgdir/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 347779, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-06-29 20:51:08 UTC (rev 347780)
@@ -0,0 +1,95 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.8.1
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 'python' 'python-sphinx' 

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Thursday, May 3, 2018 @ 07:20:27
  Author: zorun
Revision: 318812

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 318811, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  186 +++--
 1 file changed, 95 insertions(+), 91 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-05-03 07:20:08 UTC (rev 318811)
+++ PKGBUILD2018-05-03 07:20:27 UTC (rev 318812)
@@ -1,91 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.8.0
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
- 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('04ce3bca407a2b4c686e0ff14709516fabffc5256ee311ce90f8e5320ca03a0e557bac82b865b0ce31b17fd763db16194ce3b07e9a13398ac30745a7030ac982')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make -j1 world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 318811, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-05-03 07:20:27 UTC (rev 318812)
@@ -0,0 +1,95 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.8.0
+pkgrel=2
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
+  

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Wednesday, April 18, 2018 @ 14:51:48
  Author: zorun
Revision: 316881

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 316880, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  180 ++---
 1 file changed, 91 insertions(+), 89 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-04-18 14:51:30 UTC (rev 316880)
+++ PKGBUILD2018-04-18 14:51:48 UTC (rev 316881)
@@ -1,89 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.7.2
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('6117ef243c62805996a21952016acaaf21db6d1b539fc813c19c897e100f45cde2bee7c9fb045b269a241b79306c656969ca8051e3212ea2090f6d7c1afad5a8')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-  cd "$srcdir/coq-$pkgver"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 316880, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-04-18 14:51:48 UTC (rev 316881)
@@ -0,0 +1,91 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.8.0
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'ocaml-num' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+ 'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
+ 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
+source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)

[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Baptiste Jonglez via arch-commits]

Date: Saturday, December 16, 2017 @ 22:54:23
  Author: zorun
Revision: 274621

archrelease: copy trunk to community-x86_64

Added:
  coq/repos/community-x86_64/PKGBUILD
(from rev 274620, coq/trunk/PKGBUILD)
Deleted:
  coq/repos/community-x86_64/PKGBUILD

--+
 PKGBUILD |  176 ++---
 1 file changed, 88 insertions(+), 88 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2017-12-16 22:53:55 UTC (rev 274620)
+++ PKGBUILD2017-12-16 22:54:23 UTC (rev 274621)
@@ -1,88 +0,0 @@
-# Maintainer: Baptiste Jonglez 
-# Contributor: acieroid
-# Contributor: spider-mario 
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze 
-# Contributor: William J. Bowman 
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.7.0
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('i686' 'x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-makedepends=('ocaml-findlib'
- 'lablgtk2' 'gendesk' # coqide
- 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
- 'texlive-fontsextra' 'texlive-science'
- 'fig2dev' 'imagemagick' 'hevea' 'ghostscript')
-source=("https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('c806881d1ab823d9c2d748aa2d7fd3faaa0f6395536942ad214c68658b2688e6c57941947a440ddb69bf1436249067eefd866ecb1d9e4c5e774e3218c80a6fc2')
-
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-}
-
-build() {
-  cd "$srcdir/coq-$pkgver"
-
-  ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
-
-  make world
-}
-
-package_coq() {
-  depends=('ocaml' 'camlp5')
-  optdepends=('coqide: graphical Coq IDE'
-  'coq-doc: offline documentation')
-  # coq-nox was the old name for coq without coqide
-  replaces=('coq-nox')
-  conflicts=('coq-nox')
-
-  cd "$srcdir/coq-$pkgver"
-
-  # The second target is needed to install coqidetop.cmxs (needed for some
-  # frontend other than coqide, for instance coquille)
-  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop
-  rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-}
-
-package_coqide() {
-  pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
-  install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
-
-  # Remove toploop files installed by "install-ide-toploop" in the main package
-  rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}
-  # In coq 8.7 this file is installed both by install-coq and install-coqide, 
remove the duplicate.
-  rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
-
-  # Desktop file generated by gendesk
-  install -D -m 644 "${srcdir}/${pkgname}.desktop" 
"${pkgdir}/usr/share/applications/${pkgname}.desktop"
-  install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png"
-}
-
-package_coq-doc() {
-  pkgdesc="HTML and PDF documentation for the Coq proof assistant"
-  depends=()
-
-  cd "$srcdir/coq-$pkgver"
-
-  make COQINSTALLPREFIX="$pkgdir" install-doc
-}

Copied: coq/repos/community-x86_64/PKGBUILD (from rev 274620, 
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2017-12-16 22:54:23 UTC (rev 274621)
@@ -0,0 +1,88 @@
+# Maintainer: Baptiste Jonglez 
+# Contributor: acieroid
+# Contributor: spider-mario 
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze 
+# Contributor: William J. Bowman 
+
+pkgname=('coq' 'coqide' 'coq-doc')
+pkgver=8.7.1
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml' 'camlp5' 'gtk2' 'gtksourceview2')
+makedepends=('ocaml-findlib'
+ 'lablgtk2' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+ 'texlive-fontsextra' 'texlive-science'
+ 'fig2dev' 'imagemagick' 'hevea' 'ghostscript')
+source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
+sha512sums=('43ef086de93bf99f94d74b9827dd16c79f4d24f5dd4332ee53bbd4588941cb602a64672638a3b3a56bfb612e4dbf7b2a3b5fd4921182dabbbe96e4fef07455b5')
+
+prepare() {
+  gendesk -f -n --pkgname "coqide" \
+--name "CoqIDE Proof Assistant" \
+