@misc{2018-library-croco,
 day = {17},
 kind = {library},
 month = jun,
 note = {rev 5dttB3vt6n9XTreZTXqbyWp4sULhkh},
 title = {croco},
 version = {rev 5dttB3vt6n9XTreZTXqbyWp4sULhkh},
 year = {2018}
}