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