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.

non port: devel/uppaal/distinfo

Number of commits found: 6

Sunday, 3 Jul 2011
14:59 ohauer search for other commits by this committer
-remove MD5
Original commit
Tuesday, 20 Oct 2009
09:50 miwi search for other commits by this committer
- Update to 4.0.10

PR:             139738
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Original commit
Saturday, 10 Jan 2009
15:27 miwi search for other commits by this committer
- Update to 4.0.7

PR:             129607
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Original commit
Wednesday, 11 Apr 2007
20:11 miwi search for other commits by this committer
- Update to 4.0.6

PR:             111446
Submitted by:   Timothy Bourke <timbob@bigpond.com>
Original commit
Friday, 15 Sep 2006
09:07 rafan search for other commits by this committer
- Update to 4.0.2

PR:             ports/103246
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
Original commit
Wednesday, 16 Nov 2005
09:25 vs search for other commits by this committer
Uppaal is an integrated tool environment for modeling, validation
and verification of real-time systems modeled as networks of timed
automata, extended with data types (bounded integers, arrays, etc.).

The tool is developed in collaboration between the Department of
Information Technology at Uppsala University, Sweden and the
Department of Computer Science at Aalborg University in Denmark.

WWW: http://www.uppaal.com/

PR:             ports/84975
Submitted by:   Timothy Bourke
Original commit

Number of commits found: 6