v2023.09.25

Resolved URL: git+file:///home/runner/work/cakeml-translator-ci/cakeml-translator-ci?shallow=1
Locked URL: git+file:///home/runner/work/cakeml-translator-ci/cakeml-translator-ci?ref=refs/heads/main&rev=252bdf70dbec924728991a762fa648d8b2f9d2f2&shallow=1
Description: Nix setup for verification using HOL4, and compilation using CakeML
Path: /nix/store/d36i4hs9vpn5cr8pd7jiaiz83bsfsdxr-source
Revision: 252bdf7
Last modified: 2023-09-25 18:25:36
Inputs:
├───cakemlsrc: github:cakeml/cakeml/a500b998760b855e6d32428c2e39ce0f69a89131
├───holsrc: github:HOL-Theorem-Prover/HOL/56875629a42860effd84a80abd66e63a4c7a4961
└───nixpkgs: github:NixOS/nixpkgs/5d017a8822e0907fb96f7700a319f9fe2434de02