Binaries
dolfin-bin
(
dolfin-bin_2019.2.0~legacy20230609.8b85e9d.ar-5_all.deb
)
SHA1: 5587aa67817d515fb7746ca42a065242a86eb9a2
SHA256: e7d4aecdb4885d5f72acd490bd9aac3d107ed675187298657cdf7c43f914bdd0
Size: 46,236 bytes
dolfin-doc
(
dolfin-doc_2019.2.0~legacy20230609.8b85e9d.ar-5_all.deb
)
SHA1: 0180406d6a5a20d3bfe024bc131834c3e356f369
SHA256: c21a908faf9339ba7709e4117ff87defcc143cb27558aed7e92eaddd183f022c
Size: 13,057,992 bytes
SHA1: bad8cf3bd7e60057ae19332fa037dbdbbb621765
SHA256: 7562763c509cb8d500dd1674c20025d9129c91d1e467c570851eaf67a6aabd7c
Size: 2,028,760 bytes
SHA1: 36316f1937fb287a52621316c1975ffb816c489c
SHA256: eb12481e1e9383a0d15ffc751e09442a22a3b3b269c59ba732e6f0decc45fb9b
Size: 47,449,808 bytes
SHA1: 1239643e331e56c1b8d3eac20b10ac571cf08b95
SHA256: 8af6ce50d9eabe4eef436862bf4a330ef3a8033b4195652ac26add50e7770151
Size: 2,029,800 bytes
SHA1: ee86918efde3dcefc63eda81ca3b8466cb9a692d
SHA256: 04f7058dd68e1d4783a46c388af79434807b7e518af60058793d509371f10573
Size: 47,471,600 bytes
libdolfin64-dev
(
libdolfin64-dev_2019.2.0~legacy20230609.8b85e9d.ar-5_i386.deb
)
SHA1: 27cba30f0929d00d843c1f4bf8d3d5c19632c245
SHA256: 3c9aac809d8ff3a633988baf7d76e4b216afb96cb7dd00e2934be7e81f7667a8
Size: 41,760 bytes
libdolfin-dev
(
libdolfin-dev_2019.2.0~legacy20230609.8b85e9d.ar-5_i386.deb
)
SHA1: 7384586d4c621ebea2023fba5e5845e1509f7ae4
SHA256: dd3117903b7fc183870fae0234cc5817d985154a2f4e9b11f5b32df2e9fab29e
Size: 43,264 bytes
SHA1: d35e86937555a476f0d066993502ab14e0c2fbd2
SHA256: 0025b5af8bdb67493346a1614a2dcfdb199956c80be0655012baa19aabb9a667
Size: 224,432 bytes
python3-dolfin
(
python3-dolfin_2019.2.0~legacy20230609.8b85e9d.ar-5_i386.deb
)
SHA1: d7c91c95246dc62f525a11d85e7dd0c5b1f89f1d
SHA256: 84da55a9c22a26561fc60b100279055211eb81db89de07973873c5850d439f6c
Size: 60,580 bytes
SHA1: e758868cc2e8d9604533af842d02e2050b614f5b
SHA256: 9606273a602e27dd2bffbd08d63bdd975c63a5b07f1fb1466cbfe43de2f5a741
Size: 861,632 bytes
SHA1: b8bea64362953c90f73d5fbbea245c20903126fe
SHA256: d1940ebb070a06ee8a115095b77f483425e088b0fcf4f95f8408307d20b58ddc
Size: 844,692 bytes