[Midnightbsd-cvs] [MidnightBSD/mports] 5c1e9b: add yices

[Lucas Holt]

  Branch: refs/heads/master
  Home:   https://github.com/MidnightBSD/mports
  Commit: 5c1e9b25f64d3f9b9ac5740ab6eca23ef76084e5
      https://github.com/MidnightBSD/mports/commit/5c1e9b25f64d3f9b9ac5740ab6eca23ef76084e5
  Author: Lucas Holt <luke at foolishgames.com>
  Date:   2025-05-19 (Mon, 19 May 2025)

  Changed paths:
    M cad/Makefile
    A cad/py-edalize/Makefile
    A cad/py-edalize/distinfo
    A cad/py-edalize/pkg-descr
    A cad/py-vunit-hdl/Makefile
    A cad/py-vunit-hdl/distinfo
    A cad/py-vunit-hdl/files/patch-pyproject.toml
    A cad/py-vunit-hdl/pkg-descr
    A cad/yosys/Makefile
    A cad/yosys/distinfo
    A cad/yosys/files/patch-backends_smt2_smtio.py
    A cad/yosys/files/patch-kernel_driver.cc
    A cad/yosys/files/patch-libs_fst_fstapi.cc
    A cad/yosys/pkg-descr
    A cad/yosys/pkg-plist
    M math/Makefile
    A math/yices/Makefile
    A math/yices/distinfo
    A math/yices/files/patch-Makefile.build
    A math/yices/pkg-descr
    A math/yices/pkg-plist

  Log Message:
  -----------
  add yices



To unsubscribe from these emails, change your notification settings at https://github.com/MidnightBSD/mports/settings/notifications