Limit to suite: [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [trixie-updates] [trixie-backports] [forky] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [loong64] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
You have searched for packages that names contain fiat in all suites, all sections, and all architectures. Found 9 matching packages.
Package fiat-utils
- bookworm (oldstable) (science):
Fortran IFS and Arpege Toolkit - utilities
1.0.0-4: amd64 arm64 mips64el ppc64el s390x - trixie (stable) (science):
Fortran IFS and Arpege Toolkit - utilities
1.4.1-1+b1: amd64 arm64 ppc64el riscv64 s390x - forky (testing) (science):
Fortran IFS and Arpege Toolkit - utilities
2.0.0-1: amd64 arm64 ppc64el riscv64 s390x - sid (unstable) (science):
Fortran IFS and Arpege Toolkit - utilities
2.0.0-1: amd64 arm64 loong64 ppc64 ppc64el riscv64 s390x
1.6.2-2 [debports]: sparc64
1.4.0-1 [debports]: ia64
Package fiat-utils-dbgsym
- sid (unstable) (debug):
debug symbols for fiat-utils
2.0.0-1 [debports]: ppc64
1.6.2-2 [debports]: loong64 sparc64
1.4.0-1 [debports]: ia64
1.0.0-4 [debports]: riscv64
Package golang-github-mit-plv-fiat-crypto-dev
- forky (testing) (golang):
Cryptographic Primitive Code Generation by Fiat (library)
0.1.6-2: all - sid (unstable) (golang):
Cryptographic Primitive Code Generation by Fiat (library)
0.1.6-2: all
Package libfiat-0
- bookworm (oldstable) (libs):
Fortran IFS and Arpege Toolkit - libray
1.0.0-4: amd64 arm64 mips64el ppc64el s390x - trixie (stable) (libs):
Fortran IFS and Arpege Toolkit - libray
1.4.1-1+b1: amd64 arm64 ppc64el riscv64 s390x - forky (testing) (libs):
Fortran IFS and Arpege Toolkit - libray
2.0.0-1: amd64 arm64 ppc64el riscv64 s390x - sid (unstable) (libs):
Fortran IFS and Arpege Toolkit - libray
2.0.0-1: amd64 arm64 loong64 ppc64 ppc64el riscv64 s390x
1.6.2-2 [debports]: sparc64
1.4.0-1 [debports]: ia64
Package libfiat-0-dbgsym
- sid (unstable) (debug):
debug symbols for libfiat-0
2.0.0-1 [debports]: ppc64
1.6.2-2 [debports]: loong64 sparc64
1.4.0-1 [debports]: ia64
1.0.0-4 [debports]: riscv64
Package libfiat-dev
- bookworm (oldstable) (libdevel):
Fortran IFS and Arpege Toolkit - development files
1.0.0-4: amd64 arm64 mips64el ppc64el s390x - trixie (stable) (libdevel):
Fortran IFS and Arpege Toolkit - development files
1.4.1-1+b1: amd64 arm64 ppc64el riscv64 s390x - forky (testing) (libdevel):
Fortran IFS and Arpege Toolkit - development files
2.0.0-1: amd64 arm64 ppc64el riscv64 s390x - sid (unstable) (libdevel):
Fortran IFS and Arpege Toolkit - development files
2.0.0-1: amd64 arm64 loong64 ppc64 ppc64el riscv64 s390x
1.6.2-2 [debports]: sparc64
1.4.0-1 [debports]: ia64
Package librust-fiat-crypto-dev
- trixie (stable) (rust):
Fiat-crypto generated Rust - Rust source code
0.2.2-1+b3: amd64 arm64 armel armhf i386 ppc64el riscv64 s390x - forky (testing) (rust):
Fiat-crypto generated Rust - Rust source code
0.3.0-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x - sid (unstable) (rust):
Fiat-crypto generated Rust - Rust source code
0.3.0-1: amd64 arm64 armhf i386 loong64 ppc64 ppc64el riscv64 s390x sparc64 x32
Package python-fiat-doc
- bullseye (oldoldstable) (python):
tabulation of finite element function spaces (docs)
2019.2.0~git20210116.0439689-2: all - bookworm (oldstable) (python):
tabulation of finite element function spaces (docs)
2019.2.0~git20210419.7d418fa-3: all - trixie (stable) (python):
tabulation of finite element function spaces (docs)
2019.2.0~git20210419.7d418fa-6: all - forky (testing) (python):
tabulation of finite element function spaces (docs)
2019.2.0~git20210419.7d418fa-7: all - sid (unstable) (python):
tabulation of finite element function spaces (docs)
2019.2.0~git20210419.7d418fa-7: all
Package python3-fiat
- bullseye (oldoldstable) (python):
tabulation of finite element function spaces (Python 3)
2019.2.0~git20210116.0439689-2: all - bookworm (oldstable) (python):
tabulation of finite element function spaces (Python 3)
2019.2.0~git20210419.7d418fa-3: all - trixie (stable) (python):
tabulation of finite element function spaces (Python 3)
2019.2.0~git20210419.7d418fa-6: all - forky (testing) (python):
tabulation of finite element function spaces (Python 3)
2019.2.0~git20210419.7d418fa-7: all - sid (unstable) (python):
tabulation of finite element function spaces (Python 3)
2019.2.0~git20210419.7d418fa-7: all