sci-mathematics/coq – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-12-14
- sci-mathematics/coq: Stabilize 8.20.0 amd64, #946384
  df94b45
  Sam James committed on 2024-12-14 11:48:18 UTC
  sci-mathematics/coq/coq-8.20.0.ebuild
Commits on 2024-11-19
- sci-mathematics/coq: drop old 8.19.1
  585c3c9
  Maciej Barć committed on 2024-11-19 19:52:08 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.19.1.ebuild
- sci-mathematics/coq: drop old 8.19.0
  5741041
  Maciej Barć committed on 2024-11-19 19:52:07 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.19.0.ebuild
Commits on 2024-09-30
- sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557
  a2f0ae7
  Arthur Zamarin committed on 2024-09-30 19:34:31 UTC
  sci-mathematics/coq/coq-8.19.2.ebuild
Commits on 2024-09-09
- sci-mathematics/coq: fix SRC_URI
  80b82be
  Maciej Barć committed on 2024-09-09 08:28:38 UTC
  sci-mathematics/coq/coq-8.20.0.ebuild
- sci-mathematics/coq: bump to 8.20.0
  8a7d012
  Maciej Barć committed on 2024-09-09 00:06:05 UTC
  sci-mathematics/coq/coq-8.20.0.ebuildsci-mathematics/coq/Manifest
Commits on 2024-06-10
- sci-mathematics/coq: bump to 8.19.2
  cc52d82
  Maciej Barć committed on 2024-06-10 13:59:42 UTC
  sci-mathematics/coq/coq-8.19.2.ebuildsci-mathematics/coq/Manifest
Commits on 2024-05-23
- sci-mathematics/coq: use edo instead of edob
  2ee1e61
  Maciej Barć committed on 2024-05-23 22:08:06 UTC
  sci-mathematics/coq/coq-8.19.0.ebuildsci-mathematics/coq/coq-8.19.1.ebuild
Commits on 2024-03-04
- sci-mathematics/coq: bump to 8.19.1
  99f10b7
  Maciej Barć committed on 2024-03-04 21:56:46 UTC
  sci-mathematics/coq/coq-8.19.1.ebuildsci-mathematics/coq/Manifest
- sci-mathematics/coq: drop old 8.18.0
  b2dc20f
  Maciej Barć committed on 2024-03-04 21:56:45 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.18.0.ebuild
- sci-mathematics/coq: drop old 8.17.1
  a985e66
  Maciej Barć committed on 2024-03-04 21:56:45 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.17.1.ebuild
Commits on 2024-02-27
- sci-mathematics/coq: Stabilize 8.19.0 amd64, #925657
  a562321
  Sam James committed on 2024-02-27 23:42:02 UTC
  sci-mathematics/coq/coq-8.19.0.ebuild
Commits on 2024-01-25
- sci-mathematics/coq: bump to 8.19.0
  892d16f
  Maciej Barć committed on 2024-01-25 03:21:35 UTC
  sci-mathematics/coq/coq-8.19.0.ebuildsci-mathematics/coq/Manifest
Commits on 2024-01-16
- sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951
  3908d93
  Matoro Mahri authored and Viorel Munteanu committed on 2024-01-16 05:41:51 UTC
  sci-mathematics/coq/coq-8.18.0.ebuild
Commits on 2023-09-09
- sci-mathematics/coq: bump to 8.18.0
  044d091
  Maciej Barć committed on 2023-09-09 18:13:59 UTC
  sci-mathematics/coq/coq-8.18.0.ebuildsci-mathematics/coq/Manifest
- sci-mathematics/coq: drop old 8.17.0
  7cb88d7
  Maciej Barć committed on 2023-09-09 18:13:59 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.17.0.ebuild
- sci-mathematics/coq: drop old 8.12.0-r2
  2f2d44d
  Maciej Barć committed on 2023-09-09 18:13:59 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.12.0-r2.ebuild
Commits on 2023-08-16
- sci-mathematics/coq: Stabilize 8.17.1 amd64, #912296
  fcae4e8
  Sam James committed on 2023-08-16 02:19:44 UTC
  sci-mathematics/coq/coq-8.17.1.ebuild
Commits on 2023-07-17
- sci-mathematics/coq: remove dead code
  b6905ea
  Maciej Barć committed on 2023-07-17 12:33:35 UTC
  sci-mathematics/coq/coq-8.17.0.ebuildsci-mathematics/coq/coq-8.17.1.ebuild
Commits on 2023-07-15
- sci-mathematics/coq: drop old 8.16.1
  6c76b39
  Maciej Barć committed on 2023-07-15 22:17:04 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.16.1.ebuild
- sci-mathematics/coq: drop old 8.15.2
  b67897d
  Maciej Barć committed on 2023-07-15 22:17:03 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.15.2.ebuild
- sci-mathematics/coq: add pkg_preinst upgrade from 8.12
  77b4543
  Maciej Barć committed on 2023-07-15 22:17:01 UTC
  sci-mathematics/coq/coq-8.15.2.ebuildsci-mathematics/coq/coq-8.16.1.ebuildsci-mathematics/coq/coq-8.17.0.ebuildsci-mathematics/coq/coq-8.17.1.ebuild
Commits on 2023-07-11
- sci-mathematics/coq: Stabilize 8.17.0 amd64, #907179
  f29b893
  Jakov Smolić committed on 2023-07-11 08:43:12 UTC
  sci-mathematics/coq/coq-8.17.0.ebuild
Commits on 2023-06-28
- sci-mathematics/coq: bump to 8.17.1
  212e16d
  Maciej Barć committed on 2023-06-28 01:12:43 UTC
  sci-mathematics/coq/coq-8.17.1.ebuildsci-mathematics/coq/Manifest
- sci-mathematics/coq: drop old 8.13.0-r1
  e77d8b0
  Maciej Barć committed on 2023-06-28 01:12:43 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.13.0-r1.ebuild
Commits on 2023-06-09
- sci-mathematics/coq: destabilize for ~x86
  31b057e
  Arthur Zamarin committed on 2023-06-09 14:46:15 UTC
  sci-mathematics/coq/coq-8.12.0-r2.ebuildsci-mathematics/coq/coq-8.17.0.ebuild
Commits on 2023-05-26
- sci-mathematics/coq: Stabilize 8.17.0 x86, #907179
  3ab5a68
  Arthur Zamarin committed on 2023-05-26 20:05:46 UTC
  sci-mathematics/coq/coq-8.17.0.ebuild
Commits on 2023-04-12
- sci-mathematics/coq: update bug reference
  eb47210
  Maciej Barć committed on 2023-04-12 16:00:33 UTC
  sci-mathematics/coq/coq-8.17.0.ebuild
Commits on 2023-04-11
- sci-mathematics/coq: disable failing test
  6dc8e8e
  Maciej Barć committed on 2023-04-11 20:02:38 UTC
  sci-mathematics/coq/coq-8.17.0.ebuild
- sci-mathematics/coq: drop old 8.16.0
  689f37c
  Maciej Barć committed on 2023-04-11 14:17:03 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.16.0.ebuild
- sci-mathematics/coq: add missing subslots
  06b959b
  Maciej Barć committed on 2023-04-11 14:17:01 UTC
  sci-mathematics/coq/coq-8.12.0-r2.ebuildsci-mathematics/coq/coq-8.13.0-r1.ebuildsci-mathematics/coq/coq-8.15.2.ebuildsci-mathematics/coq/coq-8.16.0.ebuildsci-mathematics/coq/coq-8.16.1.ebuild
- sci-mathematics/coq: add ounit2 to test deps
  dfc3bd6
  Maciej Barć committed on 2023-04-11 14:17:01 UTC
  sci-mathematics/coq/coq-8.17.0.ebuild
Commits on 2023-04-10
- sci-mathematics/coq: bump to 8.17.0
  388e4b7
  Maciej Barć committed on 2023-04-10 18:49:22 UTC
  sci-mathematics/coq/coq-8.17.0.ebuildsci-mathematics/coq/Manifest
Commits on 2023-02-14
- Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
  061ce25
  Michał Górny committed on 2023-02-14 05:23:31 UTC
  sci-mathematics/coq/coq-8.15.2.ebuildsci-mathematics/coq/coq-8.16.0.ebuildsci-mathematics/coq/coq-8.16.1.ebuild
- Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
  15d76ea
  Michał Górny committed on 2023-02-14 05:18:51 UTC
  sci-mathematics/coq/coq-8.15.2.ebuildsci-mathematics/coq/coq-8.16.0.ebuildsci-mathematics/coq/coq-8.16.1.ebuild
Commits on 2022-11-26
- sci-mathematics/coq: drop old 8.11.2-r1
  4484dca
  Maciej Barć committed on 2022-11-26 15:30:59 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.11.2-r1.ebuild
- Revert "sci-mathematics/coq: drop old 8.11.2-r1"
  fedfdf6
  Maciej Barć committed on 2022-11-26 00:58:45 UTC
  sci-mathematics/coq/coq-8.11.2-r1.ebuildsci-mathematics/coq/Manifest
- sci-mathematics/coq: drop old 8.11.2-r1
  7cfcec3
  Maciej Barć committed on 2022-11-26 00:36:59 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.11.2-r1.ebuild
- sci-mathematics/coq: bump to 8.16.1
  5f92d9d
  Maciej Barć committed on 2022-11-26 00:36:58 UTC
  sci-mathematics/coq/coq-8.16.1.ebuildsci-mathematics/coq/Manifest
Commits on 2022-09-05
- sci-mathematics/coq: drop old 8.15.0-r2
  d9aed99
  Maciej Barć committed on 2022-09-05 22:09:12 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.15.0-r2.ebuild
- sci-mathematics/coq: drop old 8.15.1
  15dd89b
  Maciej Barć committed on 2022-09-05 22:09:11 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.15.1.ebuild
- sci-mathematics/coq: bump to 8.16.0
  0b99064
  Maciej Barć committed on 2022-09-05 22:09:11 UTC
  sci-mathematics/coq/coq-8.16.0.ebuildsci-mathematics/coq/Manifest
Commits on 2022-05-31
- Revert "sci-mathematics/coq: drop old 8.11.2-r1"
  d4963c3
  Maciej Barć committed on 2022-05-31 16:51:07 UTC
  sci-mathematics/coq/coq-8.11.2-r1.ebuildsci-mathematics/coq/Manifest
- sci-mathematics/coq: drop old 8.11.2-r1
  9ea25f1
  Maciej Barć committed on 2022-05-31 16:12:45 UTC
  sci-mathematics/coq/Manifestsci-mathematics/coq/coq-8.11.2-r1.ebuild
- sci-mathematics/coq: bump to 8.15.2
  456d6f1
  Maciej Barć committed on 2022-05-31 16:12:45 UTC
  sci-mathematics/coq/coq-8.15.2.ebuildsci-mathematics/coq/Manifest
Commits on 2022-03-22
- sci-mathematics/coq: bump to 8.15.1
  438bd24
  Maciej Barć committed on 2022-03-22 19:22:14 UTC
  sci-mathematics/coq/coq-8.15.1.ebuildsci-mathematics/coq/Manifest
Commits on 2022-03-13
- sci-mathematics/coq: re-add ~x86 keyword dropped by mistake
  bade0e7
  Maciej Barć committed on 2022-03-13 13:18:58 UTC
  sci-mathematics/coq/coq-8.15.0-r2.ebuild
Commits on 2022-02-27
- sci-mathematics/coq: update metadata
  68e5ed5
  Maciej Barć committed on 2022-02-27 03:47:24 UTC
  sci-mathematics/coq/metadata.xml
Commits on 2022-02-18
- sci-mathematics/coq: fix doc build - add missing fonts
  157d3bc
  Maciej Barć committed on 2022-02-18 15:11:25 UTC
  sci-mathematics/coq/coq-8.15.0-r2.ebuild
Commits on 2022-02-17
- sci-mathematics/coq: fix doc build - add xetex dep
  135cf43
  Maciej Barć committed on 2022-02-17 23:19:17 UTC
  sci-mathematics/coq/coq-8.15.0-r2.ebuild