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
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
hs-syfco Synthesis Format Conversion Tool
1.1.34 math 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 1.1.34Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-10-29 07:09:18
Last Update: 2024-03-02 09:20:59
Commit Hash: 7f17cdc
Also Listed In: haskell lang
License: MIT
WWW:
https://github.com/reactive-systems/syfco
Description:
The tool interprets the high level constructs of TLSF 1.1 (functions, sets, ...) and supports the transformation of the specification to Linear Temporal Logic (LTL) in different output formats. The tool has been designed to be modular with respect to the supported output formats and semantics. Furthermore, the tool allows to identify and manipulate parameters, targets and semantics of a specification on the fly. This is especially thought to be useful for comparative studies, as they are for example needed in the Synthesis Competition.
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 (3 items)
Collapse this list.
  1. /usr/local/share/licenses/hs-syfco-1.1.34/catalog.mk
  2. /usr/local/share/licenses/hs-syfco-1.1.34/LICENSE
  3. /usr/local/share/licenses/hs-syfco-1.1.34/MIT
Collapse this list.
Dependency lines:
  • hs-syfco>0:math/hs-syfco
To install the port:
cd /usr/ports/math/hs-syfco/ && make install clean
To add the package, run one of these commands:
  • pkg install math/hs-syfco
  • pkg install hs-syfco
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: hs-syfco
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1666983297 SHA256 (cabal/convertible-1.1.1.1/convertible-1.1.1.1.tar.gz) = 991ebd70e413dc7314d3d34fddaa1ad34a837aea48cb8117e1b323f403348cef SIZE (cabal/convertible-1.1.1.1/convertible-1.1.1.1.tar.gz) = 14071

Expand this list (10 items)

Collapse this list.

SHA256 (cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz) = dbaf8bf6b888fb98845705079296a23c3f40ee2f449df7312f7f7f1de18d7b50 SIZE (cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz) = 3384 SHA256 (cabal/old-locale-1.0.0.7/revision/2.cabal) = fa998be2c7e00cd26a6e9075bea790caaf3932caa3e9497ad69bc20380dd6911 SIZE (cabal/old-locale-1.0.0.7/revision/2.cabal) = 1071 SHA256 (cabal/old-time-1.1.0.3/old-time-1.1.0.3.tar.gz) = 1ccb158b0f7851715d36b757c523b026ca1541e2030d02239802ba39b4112bc1 SIZE (cabal/old-time-1.1.0.3/old-time-1.1.0.3.tar.gz) = 74219 SHA256 (cabal/old-time-1.1.0.3/revision/2.cabal) = c91fbb3ee73d20ccd015842b30f1f29a304893ebe0ae3128b7bbc13d5bb0d4c8 SIZE (cabal/old-time-1.1.0.3/revision/2.cabal) = 1328 SHA256 (cabal/reactive-systems-syfco-v1.1-34-g0f0f6a6_GH0.tar.gz) = 24786fa3d792187ecfefe5674b675f64faa1172f9dfec348d595507706872a06 SIZE (cabal/reactive-systems-syfco-v1.1-34-g0f0f6a6_GH0.tar.gz) = 105621

Collapse this list.


Packages (timestamps in pop-ups are UTC):
hs-syfco
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest1.1.341.1.34------
FreeBSD:13:quarterly1.1.341.1.34------
FreeBSD:14:latest1.1.341.1.34------
FreeBSD:14:quarterly1.1.341.1.34------
FreeBSD:15:latest-1.1.34n/a-n/a---
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ghc-9.4.8 : lang/ghc94
  2. cabal : devel/hs-cabal-install
Library dependencies:
  1. libgmp.so : math/gmp
  2. libffi.so : devel/libffi
There are no ports dependent upon this port

Configuration Options:
No options to configure
Options name:
math_hs-syfco
USES:
cabal
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/reactive-systems/syfco/tar.gz/v1.1-34-g0f0f6a6?dummy=/
Collapse this list.

Number of commits found: 3

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.1.34
02 Mar 2024 09:20:59
commit hash: 7f17cdc8611aa3c5fd9565434a17d4ae4d06758bcommit hash: 7f17cdc8611aa3c5fd9565434a17d4ae4d06758bcommit hash: 7f17cdc8611aa3c5fd9565434a17d4ae4d06758bcommit hash: 7f17cdc8611aa3c5fd9565434a17d4ae4d06758b files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
math/hs-syfco: Switch to GHC 9.4
1.1.34
29 Oct 2022 07:25:39
commit hash: 47c6f711ea5b3e86536798170a72ffb9a08ef324commit hash: 47c6f711ea5b3e86536798170a72ffb9a08ef324commit hash: 47c6f711ea5b3e86536798170a72ffb9a08ef324commit hash: 47c6f711ea5b3e86536798170a72ffb9a08ef324 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/hs-syfco: Fix plist
1.1.34
29 Oct 2022 07:08:34
commit hash: 65be57f92214852ef03b5d1a3eba15f3adc11ee9commit hash: 65be57f92214852ef03b5d1a3eba15f3adc11ee9commit hash: 65be57f92214852ef03b5d1a3eba15f3adc11ee9commit hash: 65be57f92214852ef03b5d1a3eba15f3adc11ee9 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/hs-syfco: New port: Synthesis Format Conversion Tool

Number of commits found: 3