sci-mathematics/cadical – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-06-27
- sci-mathematics/cadical: bump to 2.0.0
  d38c265
  Maciej Barć committed on 2024-06-27 22:42:21 UTC
  sci-mathematics/cadical/cadical-2.0.0.ebuildsci-mathematics/cadical/files/cadical-makefile-in-respect-ar-2.0.0.patchsci-mathematics/cadical/Manifest
- sci-mathematics/cadical: drop old 1.9.4
  7c11cfa
  Maciej Barć committed on 2024-06-27 22:42:21 UTC
  sci-mathematics/cadical/Manifestsci-mathematics/cadical/cadical-1.9.4.ebuild
Commits on 2024-03-04
- sci-mathematics/cadical: bump to 1.9.5
  c586957
  Maciej Barć committed on 2024-03-04 21:57:02 UTC
  sci-mathematics/cadical/cadical-1.9.5.ebuildsci-mathematics/cadical/Manifest
- sci-mathematics/cadical: drop old 1.8.0
  7adbd5c
  Maciej Barć committed on 2024-03-04 21:57:01 UTC
  sci-mathematics/cadical/Manifestsci-mathematics/cadical/cadical-1.8.0.ebuild
Commits on 2024-02-08
- sci-mathematics/cadical: bump to 1.9.4
  8ff0e29
  Maciej Barć committed on 2024-02-08 10:31:26 UTC
  sci-mathematics/cadical/cadical-1.9.4.ebuildsci-mathematics/cadical/Manifest
- sci-mathematics/cadical: drop old 1.5.3-r1
  0db7bc2
  Maciej Barć committed on 2024-02-08 10:31:26 UTC
  sci-mathematics/cadical/Manifestsci-mathematics/cadical/cadical-1.5.3-r1.ebuild
Commits on 2023-10-07
- sci-mathematics/cadical: bump to 1.8.0
  3f9ce22
  Maciej Barć committed on 2023-10-07 22:39:05 UTC
  sci-mathematics/cadical/cadical-1.8.0.ebuildsci-mathematics/cadical/Manifest
- sci-mathematics/cadical: drop old 1.5.2-r1
  c6ff871
  Maciej Barć committed on 2023-10-07 14:57:43 UTC
  sci-mathematics/cadical/Manifestsci-mathematics/cadical/cadical-1.5.2-r1.ebuild
Commits on 2023-01-11
- sci-mathematics/cadical: install ccadical.h
  ae18040
  Maciej Barć committed on 2023-01-11 03:44:07 UTC
  sci-mathematics/cadical/cadical-1.5.3-r1.ebuildsci-mathematics/cadical/cadical-1.5.3.ebuild
Commits on 2022-09-13
- sci-mathematics/cadical: bump to 1.5.3
  ad0442b
  Maciej Barć committed on 2022-09-13 02:40:23 UTC
  sci-mathematics/cadical/cadical-1.5.3.ebuildsci-mathematics/cadical/files/cadical-configure.patchsci-mathematics/cadical/Manifest
Commits on 2022-01-25
- **/metadata.xml: Replace http by https in DOCTYPE element
  2585fff
  Ulrich Müller committed on 2022-01-25 18:37:45 UTC
  sci-mathematics/cadical/metadata.xml
Commits on 2021-12-28
- sci-mathematics/cadical: patch direct call to ar
  130afa2
  Maciej Barć committed on 2021-12-28 17:44:59 UTC
  sci-mathematics/cadical/cadical-1.5.2-r1.ebuildsci-mathematics/cadical/files/cadical-makefile.in-ar.patchsci-mathematics/cadical/cadical-1.5.2.ebuild
- sci-mathematics/cadical: new package; add version 1.5.2
  fc6bcf4
  Maciej Barć committed on 2021-12-28 14:46:16 UTC
  sci-mathematics/cadical/Manifestsci-mathematics/cadical/cadical-1.5.2.ebuildsci-mathematics/cadical/metadata.xml