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