notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine
Port details
ocaml-psmt2-frontend SMT-LIB 2 parsing library for Objective Caml
0.4.0 develnew! on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one.
Maintainer: freebsd@dev.thsi.be search for ports maintained by this maintainer
Port Added: 2024-10-08 13:00:07
Last Update: 2024-10-08 12:56:48
Commit Hash: d9c44a6
License: APACHE20
WWW:
https://github.com/ACoquereau/psmt2-frontend
Description:
Psmt2-frontend provides the parser for the SMT-LIB 2 syntax extended with prenex polymoprhisme which is used by the Alt-Ergo Theorem Prover.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (75 items)
Collapse this list.
  1. /usr/local/share/licenses/ocaml-psmt2-frontend-0.4.0/catalog.mk
  2. /usr/local/share/licenses/ocaml-psmt2-frontend-0.4.0/LICENSE
  3. /usr/local/share/licenses/ocaml-psmt2-frontend-0.4.0/APACHE20
  4. bin/psmt2-frontend_bin
  5. lib/ocaml/site-lib/psmt2-frontend/META
  6. lib/ocaml/site-lib/psmt2-frontend/dune-package
  7. lib/ocaml/site-lib/psmt2-frontend/main.ml
  8. lib/ocaml/site-lib/psmt2-frontend/opam
  9. lib/ocaml/site-lib/psmt2-frontend/options.ml
  10. lib/ocaml/site-lib/psmt2-frontend/options.mli
  11. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.a
  12. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cma
  13. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmi
  14. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmt
  15. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmx
  16. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmxa
  17. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmxs
  18. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.ml
  19. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmi
  20. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmt
  21. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmx
  22. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmi
  23. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmt
  24. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmti
  25. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmx
  26. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
  27. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
  28. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
  29. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
  30. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
  31. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
  32. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
  33. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
  34. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
  35. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
  36. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
  37. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
  38. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
  39. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
  40. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
  41. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
  42. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
  43. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
  44. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
  45. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
  46. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
  47. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
  48. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
  49. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
  50. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
  51. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
  52. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
  53. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
  54. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmi
  55. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmt
  56. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmti
  57. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmx
  58. lib/ocaml/site-lib/psmt2-frontend/smtlib_error.ml
  59. lib/ocaml/site-lib/psmt2-frontend/smtlib_lexer.ml
  60. lib/ocaml/site-lib/psmt2-frontend/smtlib_parser.ml
  61. lib/ocaml/site-lib/psmt2-frontend/smtlib_parser.mli
  62. lib/ocaml/site-lib/psmt2-frontend/smtlib_printer.ml
  63. lib/ocaml/site-lib/psmt2-frontend/smtlib_syntax.ml
  64. lib/ocaml/site-lib/psmt2-frontend/smtlib_ty.ml
  65. lib/ocaml/site-lib/psmt2-frontend/smtlib_typed_env.ml
  66. lib/ocaml/site-lib/psmt2-frontend/smtlib_typed_logic.ml
  67. lib/ocaml/site-lib/psmt2-frontend/smtlib_typing.ml
  68. lib/ocaml/site-lib/psmt2-frontend/version.ml
  69. lib/ocaml/site-lib/psmt2-frontend/version.mli
  70. lib/ocaml/site-lib/psmt2-frontend_bin/META
  71. lib/ocaml/site-lib/psmt2-frontend_bin/dune-package
  72. lib/ocaml/site-lib/psmt2-frontend_bin/opam
  73. @owner
  74. @group
  75. @mode
Collapse this list.
Dependency lines:
  • ocaml-psmt2-frontend>0:devel/ocaml-psmt2-frontend
To install the port:
cd /usr/ports/devel/ocaml-psmt2-frontend/ && make install clean
To add the package, run one of these commands:
  • pkg install devel/ocaml-psmt2-frontend
  • pkg install ocaml-psmt2-frontend
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: ocaml-psmt2-frontend
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1723744618 SHA256 (ACoquereau-psmt2-frontend-0.4.0_GH0.tar.gz) = 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 SIZE (ACoquereau-psmt2-frontend-0.4.0_GH0.tar.gz) = 70801
Packages (timestamps in pop-ups are UTC):
ocaml-psmt2-frontend
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest0.4.00.4.0-0.4.00.4.0---
FreeBSD:13:quarterly--------
FreeBSD:14:latest0.4.00.4.0-0.4.00.4.0---
FreeBSD:14:quarterly--------
FreeBSD:15:latest0.4.00.4.0n/a0.4.0n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. menhir : devel/menhir
  2. ocamlc : lang/ocaml
  3. ocaml-dune>=3.7.1_2 : devel/ocaml-dune
Runtime dependencies:
  1. ocamlc : lang/ocaml
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
This port is required by:
for Build
  1. math/alt-ergo
for Run
  1. math/alt-ergo
Configuration Options:
===> The following configuration options are available for ocaml-psmt2-frontend-0.4.0: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings
Options name:
devel_ocaml-psmt2-frontend
USES:
ocaml:dune
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/ACoquereau/psmt2-frontend/tar.gz/0.4.0?dummy=/
Collapse this list.

Number of commits found: 1

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
0.4.0
08 Oct 2024 12:56:48
commit hash: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9commit hash: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9commit hash: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9commit hash: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9 files touched by this commit		 Zsolt Udvari (uzsolt) search for other commits by this committer
Author: Benjamin Jacobs		 
math/alt-ergo: Update to 2.5.4, many new ports

Replace GNU configure to dune builds system.
Add do-test target.
Submitter takes maintainership.
Update WWW.
Switch to DISTVERSION.

The last update of alt-ergo in ports tree was about 10 years ago, the newest
version requires many new libraries in ports tree.
New ports:
  devel/ocaml-dolmen
  devel/ocaml-gen
  devel/ocaml-hmap
  devel/ocaml-linol
(Only the first 15 lines of the commit message are shown above View all of this commit message)

Number of commits found: 1
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
forgejo*Dec 18
forgejo7*Dec 18
liboqsDec 18
forgejoDec 17
forgejoDec 17
giteaDec 17
giteaDec 17
giteaDec 17
zeekDec 16
py-matrix-synapseDec 15
gitlabDec 12
chromiumDec 11
chromiumDec 11
ungoogled-chromiumDec 11
ungoogled-chromiumDec 11

21 vulnerabilities affecting 294 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2024-12-18 19:03:49 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33137
Broken 114
Deprecated 181
Ignore 239
Forbidden 1
Restricted 1
No CDROM 1
Vulnerable 35
Expired 12
Set to expire 147
Interactive 0
new 24 hours 5
new 48 hours10
new 7 days26
new fortnight38
new month168
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2024 Dan Langille. All rights reserved.