{"name":"ocamlPackages_latest.linksem","summary":"Formalisation of substantial parts of ELF linking and DWARF debug information","description":"","homepage_url":"https://github.com/rems-project/linksem","license":"BSD-2-Clause","attribute_paths":["ocamlPackages_latest.linksem"],"releases":[{"version":"0.8","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.linksem","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/2zsq4jwpdi9kcyjah6w8wfchmdzy680h-ocaml5.5.0-linksem-0.8","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.linksem","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/j9iripng169vs2hppvxnchvlgw0myppi-ocaml5.5.0-linksem-0.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages_latest.linksem","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/yfm2siblaw774cnkzpdrqqfrh3ld22an-ocaml5.4.0-linksem-0.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.linksem","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/80rkfzap3n13sblfmncxslkw7a9lpn50-ocaml5.5.0-linksem-0.8","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}