Mon, 11 Nov 2024 19:33:55 UTC | login

Information for file /usr/src/debug/flint-2.5.2-26.fc31.riscv64/flint-2.5.2-gc/fmpq/add_fmpz.c

Name/usr/src/debug/flint-2.5.2-26.fc31.riscv64/flint-2.5.2-gc/fmpq/add_fmpz.c
Digest (sha256)87e6a04bb6f3eefec0f44691a4baa5ba00f52fe0389ede2bbdbee613e886e58a
Size1.83 KB
Modification timeThu, 13 Aug 2015 16:16:22 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflint-debugsource-2.5.2-26.fc31.riscv64.rpm