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
hs-syfco Synthesis Format Conversion Tool
1.1.34_1 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.
Deprecated DEPRECATED: Depends on a deprecated compiler version
Expiration Date EXPIRATION DATE: 2026-05-30
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-10-29 07:09:18
Last Update: 2026-04-11 07:25:36
Commit Hash: ffdc40f
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_1/catalog.mk
  2. /usr/local/share/licenses/hs-syfco-1.1.34_1/LICENSE
  3. /usr/local/share/licenses/hs-syfco-1.1.34_1/MIT
Collapse this list.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
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---n/an/an/a
FreeBSD:13:quarterly1.1.341.1.34---n/an/an/a
FreeBSD:14:latest1.1.34_11.1.34_1------
FreeBSD:14:quarterly1.1.341.1.34------
FreeBSD:15:latest1.1.34_11.1.34_1n/a-n/an/a--
FreeBSD:15:quarterly1.1.341.1.34n/a-n/an/a--
FreeBSD:16:latest1.1.341.1.34_1n/a-n/an/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: 4

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.1.34_1
11 Apr 2026 07:25:36
commit hash: ffdc40fe23d3094b2d66840ca11019a544a29ac5commit hash: ffdc40fe23d3094b2d66840ca11019a544a29ac5commit hash: ffdc40fe23d3094b2d66840ca11019a544a29ac5commit hash: ffdc40fe23d3094b2d66840ca11019a544a29ac5 files touched by this commit		 Gleb Popov (arrowd) search for other commits by this committer 
lang/ghc94: Deprecate together with consumers
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: 4
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
firefoxApr 17
firefox-esrApr 17
py-dj52-strawberry-graphqlApr 17
py-strawberry-graphqlApr 17
thunderbirdApr 17
thunderbird-esrApr 17
chromiumApr 16
ungoogled-chromiumApr 16
php-composerApr 14
xorg-serverApr 14
python310Apr 13
python310Apr 13
python311Apr 13
python311Apr 13
python312Apr 13

27 vulnerabilities affecting 346 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-04-17 12:25:19 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 34348
Broken 97
Deprecated 177
Ignore 214
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 37
Expired 9
Set to expire 105
Interactive 0
new 24 hours 7
new 48 hours10
new 7 days29
new fortnight87
new month219
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.