summaryrefslogtreecommitdiff
path: root/devel/frama-c
AgeCommit message (Expand)AuthorFilesLines
2018-10-24*: (belatedly) revbump for net/libsoup updateleot1-2/+2
2018-07-20Recursive revbump from textproc/icu-62.1ryoon1-2/+2
2018-07-19Recursive revbump associated with the update of lang/ocaml to 4.07.jaapb1-2/+2
2018-04-17Add p11-kit to gnutls/bl3.mk and bump dependencies.wiz1-2/+2
2018-04-16Recursive bump for new fribidi dependency in pango.wiz1-2/+2
2018-04-14revbump after icu updateadam1-2/+2
2018-04-13Revbump associated with the upgrade of lang/ocamljaapb1-2/+2
2018-03-12Recursive bumps for fontconfig and libzip dependency changes.wiz1-2/+2
2018-01-28Bump PKGREVISION for gdbm shlib major bumpwiz1-2/+2
2018-01-10Recursive revbump associated with the update to OCaml 4.06.jaapb1-2/+2
2017-12-19frama-c: allow coq 8.7markd5-10/+28
2017-11-30Revbump after textproc/icu updateadam1-2/+2
2017-11-23recursive bump for libxkbcommon removal from at-spi2-corewiz1-2/+2
2017-09-18revbump for requiring ICU 59.xmaya1-2/+2
2017-09-08Recursive revbump associated with update of ocaml to 4.05jaapb1-1/+2
2017-09-05Need to patch Makefile.in, not Makefile. Oops.dholland2-5/+5
2017-09-05Tag missed gui-only files. Ride update.dholland1-38/+38
2017-09-05Update to 20170501 (v15.x, "Phosphorus"). This reflects six majordholland12-371/+852
2017-07-11Revbump associated with ocaml-4.04.2jaapb1-2/+2
2017-04-22Revbump after icu updateadam1-2/+2
2017-02-12Recursive revbump from fonts/harfbuzzryoon1-2/+2
2017-02-06Recursive bump for harfbuzz's new graphite2 dependency.wiz1-2/+2
2016-12-30Recursive revbump associated with ocaml update to 4.04.jaapb1-2/+2
2016-12-04Recursive revbump from textproc/icu 58.1ryoon1-2/+2
2016-08-03Revbump after graphics/gd updateadam1-2/+2
2016-05-05Recursive revbump associated with ocaml update.jaapb1-2/+2
2016-05-03revbump for libsoup's ABI issueprlw11-2/+2
2016-04-11Recursive revbump from textproc/icu 57.1ryoon1-2/+2
2016-03-05Bump PKGREVISION for security/openssl ABI bump.jperkin1-2/+2
2015-11-03Add SHA512 digests for distfiles for devel categoryagc1-1/+2
2015-10-10Recursive revbump from textproc/icuryoon1-2/+2
2015-08-07Recursive revbump associated with lang/ocaml update.jaapb1-2/+2
2015-06-30Recursive revbump associated with update of lang/ocaml to 4.02.2.jaapb1-2/+2
2015-04-25Recursive revbump following MesaLib update, categories a through f.tnn1-2/+2
2015-04-06Revbump after updating textproc/icuadam1-2/+2
2015-01-20Revbump associated with update of lang/ocaml.jaapb1-2/+2
2014-10-10Changed package dependencies to reflect lablgtk name change.jaapb1-3/+3
2014-10-07Revbump after updating libwebp and icuadam1-2/+2
2014-05-05Recursive revbump from x11/pixmanryoon1-2/+2
2014-04-09recursive bump from icu shlib major bump.obache1-2/+2
2014-02-12Recursive PKGREVISION bump for OpenSSL API version bump.tron1-2/+2
2014-01-01Recursive PKGREVISION bump for libgcrypt-1.6.0 shlib major bump.wiz1-2/+2
2013-11-15Fix GNU make version comparison logic.wiz2-3/+17
2013-11-01Revision bump associated with the update of lang/ocaml to version 4.01.jaapb1-2/+2
2013-10-19Revbump after updating textproc/icuadam1-2/+2
2013-10-10Recursive revbump from pango-1.36.0ryoon1-2/+2
2013-10-09recursive bump for libmng-2.0.2 shlib major bump and dependency changewiz1-2/+2
2013-09-02Revbump after cairo updateadam1-2/+2
2013-06-06Bump PKGREVISION for libXft changes for NetBSD native X support onwiz1-2/+2
2013-06-04Try to fix the fallout caused by the fix for PR pkg/47882. Part 3:tron1-2/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-03 05:14:58 +0000