anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #27311 from mseri/picos

picos 0.2.0 should be archived

authored by

Marcello Seri and committed by
GitHub ca9f5005 7536779e

+1
+1
packages/picos/picos.0.2.0/opam
··· 52 52 "sha512=0859345ab2a1feb4468515491aae99e390015f3b83019f6f3a13b061305deb19f0868ffa51fb6513b7071bba6fed4ef08c2a464b406bebf4dcde4cc70a9088d4" 53 53 ] 54 54 } 55 + x-maintained: false 55 56 x-commit-hash: "a53cd12c7e2515a4ebea9844fe6a45aed4d609ac"