Sujet: "opam-repository"
coq/opam
Archive for all Coq related OPAM packages organized in various repositories
langage: OCaml - taille: 12,1 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 133 - forks: 168
Deducteam/opam-lambdapi-repository
Opam repository of Lambdapi libraries
langage: Shell - taille: 25,4 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 16 jours - étoiles: 1 - forks: 2
Sujets associés