# requires

pre: FALSE
name:
  (crate(curve25519-dalek/fiat_u32_backend) >= 3.0.0 with crate(curve25519-dalek/fiat_u32_backend) < 4.0.0~)


pre: FALSE
name:
  (crate(curve25519-dalek/fiat_u64_backend) >= 3.0.0 with crate(curve25519-dalek/fiat_u64_backend) < 4.0.0~)


