packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain fiat in all suites, all sections, and all architectures. Found 7 matching packages.

Package fiat-utils

• noble (24.04LTS) (science): Fortran IFS and Arpege Toolkit - utilities [universe]
  1.2.0-3build2: amd64
• questing (25.10) (science): Fortran IFS and Arpege Toolkit - utilities [universe]
  1.4.1-1build3: amd64 arm64
• resolute (26.04LTS) (science): Fortran IFS and Arpege Toolkit - utilities [universe]
  1.6.2-2: amd64 arm64
• stonking (science): Fortran IFS and Arpege Toolkit - utilities [universe]
  1.6.2-2: amd64 arm64

Package golang-github-mit-plv-fiat-crypto-dev

• stonking (golang): Cryptographic Primitive Code Generation by Fiat (library) [universe]
  0.1.6-3: all

Package libfiat-0

• noble (24.04LTS) (libs): Fortran IFS and Arpege Toolkit - libray [universe]
  1.2.0-3build2: amd64
• questing (25.10) (libs): Fortran IFS and Arpege Toolkit - libray [universe]
  1.4.1-1build3: amd64 arm64
• resolute (26.04LTS) (libs): Fortran IFS and Arpege Toolkit - libray [universe]
  1.6.2-2: amd64 arm64
• stonking (libs): Fortran IFS and Arpege Toolkit - libray [universe]
  1.6.2-2: amd64 arm64

Package libfiat-dev

• noble (24.04LTS) (libdevel): Fortran IFS and Arpege Toolkit - development files [universe]
  1.2.0-3build2: amd64
• questing (25.10) (libdevel): Fortran IFS and Arpege Toolkit - development files [universe]
  1.4.1-1build3: amd64 arm64
• resolute (26.04LTS) (libdevel): Fortran IFS and Arpege Toolkit - development files [universe]
  1.6.2-2: amd64 arm64
• stonking (libdevel): Fortran IFS and Arpege Toolkit - development files [universe]
  1.6.2-2: amd64 arm64

Package librust-fiat-crypto-dev

• noble (24.04LTS) (rust): Fiat-crypto generated Rust - Rust source code [universe]
  0.2.2-1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (rust): Fiat-crypto generated Rust - Rust source code [universe]
  0.2.2-1: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (rust): Fiat-crypto generated Rust - Rust source code [universe]
  0.3.0-1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (rust): Fiat-crypto generated Rust - Rust source code [universe]
  0.3.0-1: amd64 arm64 armhf ppc64el riscv64 s390x

Package python-fiat-doc

• jammy (22.04LTS) (python): tabulation of finite element function spaces (docs) [universe]
  2019.2.0~git20210419.7d418fa-1: all
• noble (24.04LTS) (python): tabulation of finite element function spaces (docs) [universe]
  2019.2.0~git20210419.7d418fa-4: all
• questing (25.10) (python): tabulation of finite element function spaces (docs) [universe]
  2019.2.0~git20210419.7d418fa-6: all
• resolute (26.04LTS) (python): tabulation of finite element function spaces (docs) [universe]
  2019.2.0~git20210419.7d418fa-7: all
• stonking (python): tabulation of finite element function spaces (docs) [universe]
  2019.2.0~git20210419.7d418fa-9: all

Package python3-fiat

• jammy (22.04LTS) (python): tabulation of finite element function spaces (Python 3) [universe]
  2019.2.0~git20210419.7d418fa-1: all
• noble (24.04LTS) (python): tabulation of finite element function spaces (Python 3) [universe]
  2019.2.0~git20210419.7d418fa-4: all
• questing (25.10) (python): tabulation of finite element function spaces (Python 3) [universe]
  2019.2.0~git20210419.7d418fa-6: all
• resolute (26.04LTS) (python): tabulation of finite element function spaces (Python 3) [universe]
  2019.2.0~git20210419.7d418fa-7: all
• stonking (python): tabulation of finite element function spaces (Python 3) [universe]
  2019.2.0~git20210419.7d418fa-9: all