Commit graph

12 commits

Author SHA1 Message Date
sternenseemann 1979284362 ocamlPackages.ctypes: 0.17.1 -> 0.18.0
https://github.com/ocamllabs/ocaml-ctypes/blob/0.18.0/CHANGES.md#ctypes-0180

* ocamlPackages.async_ssl: fix compatibility with ctypes 0.18.0 by using
  ctypes.foreign instead of ctypes.foreign.threaded since the distinction
  between threaded and unthreaded has been removed in this release.
* libbap: link with -thread so linking ctypes.foreign doesn't fail
  https://github.com/BinaryAnalysisPlatform/bap-bindings/issues/18
* ocaml-ng.ocamlPackages_4_07.sodium: patch lib_gen/_tags to also add
  the `package(bigarray)` directive since `ctypes.stubs` no longer
  propgates that, leading to module not found error.
* ocaml-ng.ocamlPackages_4_{04,05,06,07}.async_ssl: mark as broken: due to
  the bigarray-compat dependency, we need dune 2 for ctypes which breaks
  compilation of the legacy async_ssl 0.11 version since we can't
  upgrade to dune 2 for it since that version doesn't support the legacy
  jbuild files.
2021-03-10 16:12:03 +01:00
Vincent Laporte 554827b5a7 ocamlPackages.bap: 2.1.0 → 2.2.0
libbap: 2019-11-15 → 2020-11-25
2021-02-26 07:09:22 +01:00
Ben Siraphob 66e44425c6 pkgs/development/libraries: stdenv.lib -> lib 2021-01-21 19:11:02 -08:00
Matthew Maurer 1c243af737 ocamlPackages.bap: 1.6.0 -> 2.0.0
Also roll libbap forwards, as it does not build against the new bap.
2020-08-14 15:26:15 +02:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
volth 08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Vincent Laporte f38bf3ba4e ocamlPackages.bap: 1.4.0 -> 1.6.0
libbap: 2018-03-01 -> 2019-04-05
2019-05-05 22:00:58 +02:00
Markus Kowalewski 8ddce99ab9
libbap: add license 2018-10-17 21:21:24 +02:00
Matthew Maurer a9409104a0 bap: 1.2 -> 1.4 2018-03-01 17:22:43 -05:00
mimadrid 09e0cc7cc7
Update homepage attributes: http -> https
Homepage link "http://.../" is a permanent redirect to "https://.../" and should be updated
https://repology.org/repository/nix_stable/problems
2017-08-03 11:56:15 +02:00
Matthew Maurer e010c25ba4 libbap: init at master-2017-02-08 2017-04-04 13:17:56 -04:00