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
The recently imposed "must be logged in" restriction is a response to increased bot traffic on the site. This affects search, commits, and vuxml pages.
Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.
Port details
hs-syfco Synthesis Format Conversion Tool
1.1.34_1 math Deleted 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
Expired This port expired on: 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-05-30 08:41:10
Commit Hash: 21b0c17
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
No installation instructions:
This port has been deleted.
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.34_11.1.34_1---n/an/an/a
FreeBSD:13:quarterly1.1.341.1.34---n/an/an/a
FreeBSD:14:latest--------
FreeBSD:14:quarterly1.1.341.1.34------
FreeBSD:15:latest--n/a-n/an/a--
FreeBSD:15:quarterly1.1.341.1.34n/a-n/an/a--
FreeBSD:16:latest--n/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.
Port Moves
  • port deleted on 2026-05-30
    REASON: Has expired: Depends on a deprecated compiler version

Number of commits found: 5

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.1.34_1
30 May 2026 08:41:10
commit hash: 21b0c1708c962a14ef9367a1a978057c1c8495becommit hash: 21b0c1708c962a14ef9367a1a978057c1c8495becommit hash: 21b0c1708c962a14ef9367a1a978057c1c8495becommit hash: 21b0c1708c962a14ef9367a1a978057c1c8495be files touched by this commit		 Rene Ladan (rene) search for other commits by this committer 
math/hs-syfco: Remove expired port

2026-05-30 math/hs-syfco: Depends on a deprecated compiler version
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: 5
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
go-gitJun 24
ldnsJun 23
podmanJun 22
python310*Jun 19
python310*Jun 19
python310*Jun 19
python310*Jun 19
python311*Jun 19
python311*Jun 19
python311*Jun 19
python311*Jun 19
python312*Jun 19
python312*Jun 19
python312*Jun 19
python312*Jun 19

34 vulnerabilities affecting 371 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-06-24 15:01:28 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 34601
Broken 80
Deprecated 325
Ignore 196
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 42
Expired 14
Set to expire 252
Interactive 0
new 24 hours 7
new 48 hours12
new 7 days44
new fortnight54
new month141
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.