summaryrefslogtreecommitdiff
path: root/devel/frama-c
AgeCommit message (Expand)AuthorFilesLines
2022-11-23massive revision bump after textproc/icu updateadam1-2/+2
2022-11-20frama-c: add missing tool dependency on bashwiz1-5/+9
2022-11-15frama-c: fix unportable test(1) operatorwiz2-1/+17
2022-10-09Update devel/frama-c to 25.0tonio12-683/+690
2022-08-29frama-c: add missing ocaml-num dependencywiz1-1/+2
2022-05-24Recursive revbump associated with update of ocaml.jaapb1-3/+3
2022-04-18revbump for textproc/icu updateadam1-2/+2
2021-12-08revbump for icu and libffiadam1-2/+2
2021-10-26archivers: Replace RMD160 checksums with BLAKE2s checksumsnia1-2/+2
2021-10-07devel: Remove SHA1 hashes for distfilesnia1-2/+1
2021-04-21revbump for textproc/icuadam1-2/+2
2021-03-08Recursive revbump associated with update of lang/ocamljaapb1-2/+2
2020-11-05*: Recursive revbump from textproc/icu-68.1ryoon1-2/+2
2020-08-17*: revbump after fontconfig bl3 changes (libuuid removal)leot1-2/+2
2020-06-02Revbump for icuadam1-2/+2
2020-04-12Recursive revision bump after textproc/icu updateadam1-2/+2
2020-03-10librsvg: update bl3.mk to remove libcroco in rust casewiz1-2/+2
2020-03-08*: recursive bump for libffiwiz1-2/+2
2020-01-18*: Recursive revision bump for openssl 1.1.1.jperkin1-2/+2
2019-07-21*: recursive bump for gdk-pixbuf2-2.38.1wiz1-2/+2
2019-07-20*: recursive bump for nettle 3.5.1wiz1-2/+2
2019-05-05Recursive rebvump from devel/nssryoon1-2/+2
2019-04-03Recursive revbump from textproc/icuryoon1-2/+2
2018-12-09revbump after updating textproc/icuadam1-2/+2
2018-11-29Revbump for libcanberra gstreamer change.prlw11-2/+2
2018-11-14Revbump after cairo 1.16.0 update.kleink1-2/+2
2018-11-12Revbumps associated with update of lang/ocaml.jaapb1-2/+2
2018-11-12Recursive revbump from hardbuzz-2.1.1ryoon1-2/+2
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