list_fmap_inj1 -> list_fmap_inj_1

2 jobs for !344 with msammler/little_endian_spec in 4 minutes and 41 seconds (queued for 8 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.11.2 #161014
fp

00:04:20

passed build-coq.8.14.1-mr #161013
fp

00:04:07