sci-mathematics/flocq – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2025-03-24
- sci-mathematics/flocq: drop old 4.1.1
  fb7aaa7
  Maciej Barć committed on 2025-03-24 00:15:10 UTC
  sci-mathematics/flocq/Manifestsci-mathematics/flocq/flocq-4.1.1.ebuild
- sci-mathematics/flocq: drop old 4.1.0-r1
  002bdcb
  Maciej Barć committed on 2025-03-24 00:15:10 UTC
  sci-mathematics/flocq/Manifestsci-mathematics/flocq/flocq-4.1.0-r1.ebuild
Commits on 2025-02-16
- sci-mathematics/flocq: bump to 4.2.1
  bde3b54
  Maciej Barć committed on 2025-02-16 22:35:16 UTC
  sci-mathematics/flocq/flocq-4.2.1.ebuildsci-mathematics/flocq/Manifest
Commits on 2023-04-11
- sci-mathematics/flocq: ignore CFLAGS for ML/Coq code
  66e46e9
  Maciej Barć committed on 2023-04-11 14:17:01 UTC
  sci-mathematics/flocq/flocq-4.1.0-r1.ebuildsci-mathematics/flocq/flocq-4.1.1.ebuild
Commits on 2023-04-01
- sci-mathematics/flocq: bump to 4.1.1
  63e7f70
  Maciej Barć committed on 2023-04-01 22:35:48 UTC
  sci-mathematics/flocq/flocq-4.1.1.ebuildsci-mathematics/flocq/Manifest
Commits on 2023-02-16
- sci-mathematics/flocq: fix deps
  f0fa8cb
  Maciej Barć committed on 2023-02-16 11:55:45 UTC
  sci-mathematics/flocq/flocq-4.1.0-r1.ebuildsci-mathematics/flocq/flocq-4.1.0.ebuild
Commits on 2022-12-24
- sci-mathematics/flocq: new package; add 4.1.0
  889a3cf
  Maciej Barć committed on 2022-12-24 22:26:48 UTC
  sci-mathematics/flocq/Manifestsci-mathematics/flocq/flocq-4.1.0.ebuildsci-mathematics/flocq/metadata.xml