{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"docker-base","owner":"coq-community","isFork":false,"description":"Parent image for Docker images of the Coq proof assistant [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/erikmd/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/erikmd\">@erikmd</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/himito/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/himito\">@himito</a>]","allTopics":["coq","docker-coq"],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":4,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T22:04:39.710Z"}},{"type":"Public","name":"docker-coq","owner":"coq-community","isFork":false,"description":"Docker images of the Coq proof assistant (see also: <a href=\"https://github.com/coq-community/docker-coq-action\">https://github.com/coq-community/docker-coq-action</a>) [maintainers=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/erikmd/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/erikmd\">@erikmd</a>,<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/himito/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/himito\">@himito</a>]","allTopics":["ci","coq","opam","docker-coq","dockerfile","docker-image"],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":1,"issueCount":5,"starsCount":37,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T22:05:49.930Z"}}],"repositoryCount":2,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"coq-community repositories"}