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/frama-c/distinfo

Number of commits found: 9

Tuesday, 21 Mar 2023
00:01 Muhammad Moinur Rahman (bofh) search for other commits by this committer
devel/frama-c/: Remove expired port:

2023-03-21 devel/frama-c: Broken since 2021
commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c c06842b
Monday, 17 Jun 2019
07:33 danfe search for other commits by this committer
- Update to the next version (v15.x Phosphorus) which builds against
  both current and newish versions of OCaml
- Disable E-ACSL plugin for now which fails to build bundled jemalloc
- Drop useless DIST_SUBDIR, the distfile name is unique enough
Original commitRevision:504397 
Saturday, 4 Mar 2017
04:19 mmokhi search for other commits by this committer
devel/frama-c: Update to the last release (Silicon-20161101).

Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9790
Original commitRevision:435383 
Friday, 13 Nov 2015
13:47 marino search for other commits by this committer
devel/frama-c: Unbreak after checking rerolled distfile

Upstream re-rolled Frama-C keeping a February 2015 date stamp
in the filename (!).  I compared the new distfile with the old one.
Only two files were modified (opam, Makefile) and all the rest were
additional files (new /external directory, new /bin directory with
shell scripts).  It looks innocent to me.

Regenerate distfile and set DIST_SUBDIR now that frama-c devs have a
reputation for rerolls.
Original commitRevision:401513 
Sunday, 22 Mar 2015
18:39 marino search for other commits by this committer
devel/frama-c: upgrade version 20140301 => 20150201 (Unbreak)

The big change is the removal of options.
With Sodium, the gui, plugins, coq and why3 are all enabled by default.
The pain to disable these options isn't worth the hassle of maintaining
the plist with all its possible variations.

Notes:
  - The distfile can only be extracted by gtar.
  - Reset maintainership
  - This ports is extremely sensitive to Ocamlgraph changes.  Ocamlgraph
    should not be updated without checking breakage on frama-c first
  - used @dir instead of .keepme
  - Made some tabbing changes
Original commitRevision:381945 
Wednesday, 7 May 2014
20:47 marino search for other commits by this committer
devel/frama-c: Update version Oxygen => Neon to unbreak and stage

Oxygen is from Sept 2012, and Neon is from Mar 2014.  Stage support was
added along with some minor cleanup.  A major patch from Debian was
required to support OcamlGraph 1.8.5.

It has been broken since Ocaml was updated to 4.01.
Work covered by Staging blanket.
Original commitRevision:353205 
Thursday, 7 Mar 2013
03:56 bf search for other commits by this committer
update to the Oxygen release
Original commitRevision:313561 
Wednesday, 21 Dec 2011
03:00 bf search for other commits by this committer
update to Nitrogen-20111001
Original commit
Sunday, 18 Sep 2011
15:38 bf search for other commits by this committer
Add frama-c , extensible platform for source-code analysis of C.
Original commit

Number of commits found: 9