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.
non port: math/ltl2ba/pkg-descr

Number of commits found: 5

Wednesday, 7 Sep 2022
21:58 Stefan Eßer (se) search for other commits by this committer 
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 fb16dfe
Thursday, 9 Jul 2020
18:10 yuri search for other commits by this committer 
math/ltl2ba: Update 1.2 -> 1.3

Take maintainership.

Also
* Simplify Makefile
* Update WWW and MASTER_SITES
Original commitRevision:541796 
Monday, 23 May 2016
18:36 amdmi3 search for other commits by this committer 
Convert tab after WWW: in pkg-descrs to single space as per PHB

Approved by:	portmgr blanket
Original commitRevision:415738 
Sunday, 8 Jan 2012
07:01 eadler search for other commits by this committer 
Repeated words are are hard to to find sometimes.

Approved by:    portmgr (itetcu)
Original commit
Friday, 27 May 2011
18:11 bf search for other commits by this committer 
Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.
Original commit

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
mariadb1011-server*Jun 30
mariadb106-server*Jun 30
mariadb114-server*Jun 30
mariadb118-server*Jun 30
gitlabJun 12
h2oJun 11
h2oJun 11
h2oJun 11
chromiumJun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10

30 vulnerabilities affecting 310 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-06-12 04:54:21 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 34582
Broken 97
Deprecated 322
Ignore 211
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 41
Expired 15
Set to expire 251
Interactive 0
new 24 hours 4
new 48 hours6
new 7 days24
new fortnight61
new month148
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.