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

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

    United States · Google LLC

    SHA1: 70fd5df53ad966ad329a0a8365dd07d0ede8a3ec
    SHA256: c8f541b83d7678dbe48946512fc605867fcad43b822a524b92874a2b2bcaecba
    application/x-debian-package
    2.93MB
    2018-01-14 03:08:13 +0000 UTC

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

    /trisquel/pool/main/a/acl2/

    United States · Massachusetts Institute of Technology

    SHA1: 70fd5df53ad966ad329a0a8365dd07d0ede8a3ec
    SHA256: c8f541b83d7678dbe48946512fc605867fcad43b822a524b92874a2b2bcaecba
    application/vnd.debian.binary-package
    2.93MB
    2018-01-14 03:08:13 +0000 UTC

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

    /packages/pool/main/a/acl2/

    Brazil · Fundacao da UFPR para o DCTC

    SHA1: 70fd5df53ad966ad329a0a8365dd07d0ede8a3ec
    SHA256: c8f541b83d7678dbe48946512fc605867fcad43b822a524b92874a2b2bcaecba
    application/vnd.debian.binary-package
    2.93MB
    2018-01-14 03:08:13 +0000 UTC