sci-mathematics/vampire – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-09-30
- sci-mathematics/vampire: bump to 4.9
  ea3edb5
  Maciej Barć committed on 2024-09-30 18:22:53 UTC
  sci-mathematics/vampire/vampire-4.9.ebuildsci-mathematics/vampire/Manifest
Commits on 2023-08-22
- sci-mathematics/vampire: drop old 4.7-r1
  15f3303
  Maciej Barć committed on 2023-08-22 14:32:25 UTC
  sci-mathematics/vampire/Manifestsci-mathematics/vampire/files/vampire-4.6.1-musl.patchsci-mathematics/vampire/vampire-4.7-r1.ebuild
Commits on 2023-07-15
- sci-mathematics/vampire: bump to 4.8
  52bc3f3
  Maciej Barć committed on 2023-07-15 00:26:37 UTC
  sci-mathematics/vampire/vampire-4.8.ebuildsci-mathematics/vampire/Manifest
- sci-mathematics/vampire: drop old 4.6.1-r2
  b90b274
  Maciej Barć committed on 2023-07-15 00:26:36 UTC
  sci-mathematics/vampire/Manifestsci-mathematics/vampire/vampire-4.6.1-r2.ebuild
Commits on 2023-02-06
- sci-mathematics/vampire: fix build on musl
  d2b7001
  Maciej Barć committed on 2023-02-06 17:23:18 UTC
  sci-mathematics/vampire/files/vampire-4.6.1-musl.patchsci-mathematics/vampire/vampire-4.6.1-r2.ebuildsci-mathematics/vampire/vampire-4.7-r1.ebuild
Commits on 2022-09-23
- sci-mathematics/vampire: depend on z3 version >=4.11.2
  bd70ca1
  Maciej Barć committed on 2022-09-23 11:43:56 UTC
  sci-mathematics/vampire/vampire-4.6.1-r2.ebuildsci-mathematics/vampire/vampire-4.7-r1.ebuildsci-mathematics/vampire/vampire-4.6.1-r1.ebuildsci-mathematics/vampire/vampire-4.7.ebuild
Commits on 2022-08-06
- sci-mathematics/vampire: filter LTO (strict-aliasing)
  c1dc1af
  Maciej Barć committed on 2022-08-06 23:51:56 UTC
  sci-mathematics/vampire/vampire-4.6.1-r1.ebuildsci-mathematics/vampire/vampire-4.7.ebuild
Commits on 2022-07-23
- sci-mathematics/vampire: bump to 4.7
  09e3e38
  Maciej Barć committed on 2022-07-23 17:41:00 UTC
  sci-mathematics/vampire/vampire-4.7.ebuildsci-mathematics/vampire/Manifest
- sci-mathematics/vampire: restrict z3 dep version
  cbb308b
  Maciej Barć committed on 2022-07-23 17:41:00 UTC
  sci-mathematics/vampire/vampire-4.6.1-r1.ebuildsci-mathematics/vampire/vampire-4.6.1.ebuild
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/vampire/metadata.xml
Commits on 2021-12-25
- sci-mathematics/vampire: change maintainer to Gentoo Mathematics Project
  4fb86b8
  Maciej Barć committed on 2021-12-25 20:40:12 UTC
  sci-mathematics/vampire/metadata.xml
Commits on 2021-12-11
- sci-mathematics/vampire: new package; add version 4.6.1
  44429a0
  Maciej Barć committed on 2021-12-11 14:41:10 UTC
  sci-mathematics/vampire/Manifestsci-mathematics/vampire/metadata.xmlsci-mathematics/vampire/vampire-4.6.1.ebuild