File Search Engine
  • Search
  • Syntax
  • Fields
  • API
  • 34.70.117.24 · acl2-doc_8.0dfsg-1_all.deb

    /ubuntu-ports/pool/universe/a/acl2/

    United States · Google LLC

    SHA1: 27b56114f74ab48f9b0860b6ce1dd57b7d6396f2
    SHA256: d283f010172e1582ba11e2c30d9d33831406758fd5a4c4d8762102dcd2648bbd
    application/x-debian-package
    385.12KB
    2018-01-14 03:08:13 +0000 UTC

  • archive.trisquel.info · acl2-doc_8.0dfsg-1_all.deb

    /trisquel/pool/main/a/acl2/

    United States · Massachusetts Institute of Technology

    SHA1: 27b56114f74ab48f9b0860b6ce1dd57b7d6396f2
    SHA256: d283f010172e1582ba11e2c30d9d33831406758fd5a4c4d8762102dcd2648bbd
    application/vnd.debian.binary-package
    385.12KB
    2018-01-14 03:08:13 +0000 UTC

  • trisquel.c3sl.ufpr.br · acl2-doc_8.0dfsg-1_all.deb

    /packages/pool/main/a/acl2/

    Brazil · Fundacao da UFPR para o DCTC

    SHA1: 27b56114f74ab48f9b0860b6ce1dd57b7d6396f2
    SHA256: d283f010172e1582ba11e2c30d9d33831406758fd5a4c4d8762102dcd2648bbd
    application/vnd.debian.binary-package
    385.12KB
    2018-01-14 03:08:13 +0000 UTC