notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
All times are UTC
Ukraine
non port: devel/frama-c/files/patch-Makefile
SVNWeb

Number of commits found: 3

Tue, 21 Mar 2023
[ 00:01 Muhammad Moinur Rahman (bofh) search for other commits by this committer ]    commit hash:c06842b264e47e5e5ab6fb0c2bfef95440aaa26c  commit hash:c06842b264e47e5e5ab6fb0c2bfef95440aaa26c  commit hash:c06842b264e47e5e5ab6fb0c2bfef95440aaa26c  c06842b 
devel/frama-c/: Remove expired port:

2023-03-21 devel/frama-c: Broken since 2021
Mon, 17 Jun 2019
[ 07:33 danfe search for other commits by this committer ] Original commit   Revision:504397
- 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
Sat, 4 Mar 2017
[ 04:19 mmokhi search for other commits by this committer ] Original commit   Revision:435383
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

Number of commits found: 3