@misc{2017-library-croco,
 day = {9},
 kind = {library},
 month = oct,
 note = {rev 5dsdc3ZLAhgVvchz3MzFpQHMv8oAQZ},
 title = {croco},
 version = {rev 5dsdc3ZLAhgVvchz3MzFpQHMv8oAQZ},
 year = {2017}
}