sci-mathematics/

minisat

Latest Commits

• Commits on Jan 24, 2022
  • sci-mathematics/minisat: reformat metadata.xml

    0302bfc

    David Seifert committed on 24 Jan 2022 09:32:16

    metadata.xml
  • sci-mathematics/minisat: don't install static libraries (pg0204)

    ba0f1ed

    David Seifert committed on 24 Jan 2022 09:32:15

    files/minisat-2.2.1-cmake.patch minisat-2.2.1-r1.ebuild minisat-2.2.1.ebuild
• Commits on Jan 17, 2022
  • sci-mathematics/minisat: drop old 2.2.0_p20130925 version

    403dbc4

    Maciej Barć committed on 17 Jan 2022 18:06:01

    Manifest files/minisat-2.2.0_p20130925-nusmv.patch minisat-2.2.0_p20130925-r1.ebuild
• Commits on Dec 26, 2021
  • sci-mathematics/minisat: bump to 2.2.1

    c544a91

    Maciej Barć committed on 26 Dec 2021 15:41:22

    minisat-2.2.1.ebuild Manifest metadata.xml
• Commits on Sep 11, 2021
  • **/metadata.xml: Replace http by https in DOCTYPE element

    38b155f

    Ulrich Müller committed on 11 Sep 2021 13:22:48