code is governed by a BSD-style # license that can be found in the LICENSE file. FROM coqorg/coq:8.13.2 RUN git clone https://github.com/mit-plv/fiat-crypto && cd fiat-crypto && \ git checkout 23d2dbc4ab897d14bde4 && \ git submodule update --init --recursive RUN cd fiat-crypto && eval $(opam env) && make -j4 standalone-ocaml SKIP_BEDROCK2=1 ENV PATH /home/coq/fiat-crypto/src/ExtractionOCaml:$PATH golang.org/fips140@v1.26.0/fips140/v1.26.0/nistec/fiat/README The code in this package was autogenerated...

code is governed by a BSD-style # license that can be found in the LICENSE file. FROM coqorg/coq:8.13.2 RUN git clone https://github.com/mit-plv/fiat-crypto && cd fiat-crypto && \ git checkout 23d2dbc4ab897d14bde4 && \ git submodule update --init --recursive RUN cd fiat-crypto && eval $(opam env) && make -j4 standalone-ocaml SKIP_BEDROCK2=1 ENV PATH /home/coq/fiat-crypto/src/ExtractionOCaml:$PATH golang.org/fips140@v1.0.0-c2097c7c/fips140/v1.0.0-c2097c7c/nistec/fiat/README The code in this package was...

109B8..109BB  ; disallowed                             # NA   <reserved-109B8>..<reserved-109BB>
109BC..109BD  ; valid                  ;      ; NV8    # 8.0  MEROITIC CURSIVE FRACTION ELEVEN TWELFTHS..MEROITIC CURSIVE FRACTION ONE HALF
109BE..109BF  ; valid                                  # 6.1  MEROITIC CURSIVE LOGOGRAM RMT..MEROITIC CURSIVE LOGOGRAM IMN

         */

        if (LogStream.level >= 3) {
            log.println("delete: " + fileName);
        }

        if ((attributes & ATTR_DIRECTORY) != 0) {

            /* Recursively delete directory contents
             */

            try {
                final SmbFile[] l = listFiles("*", ATTR_DIRECTORY | ATTR_HIDDEN | ATTR_SYSTEM, null, null);