{"id":13893137,"name":"fitch","ecosystem":"ctan","description":"The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines.","homepage":null,"licenses":"LPPL-1.3a","normalized_licenses":["LPPL-1.3a"],"repository_url":"https://github.com/OpenLogicProject/fitch","keywords_array":["proof","tagged-pdf-partially","logic","maths"],"namespace":null,"versions_count":2,"first_release_published_at":"2023-12-17T00:00:00.000Z","latest_release_published_at":"2026-09-12T00:00:00.000Z","latest_release_number":"1.1","latest_published_release_number":null,"last_synced_at":"2026-10-03T03:22:13.649Z","created_at":"2026-02-24T17:08:57.564Z","updated_at":"2026-10-03T19:27:31.454Z","registry_url":"https://ctan.org/pkg/fitch","install_command":"tlmgr install fitch","documentation_url":null,"metadata":{"ctan_path":"/macros/latex/contrib/fitch","texlive":"fitch","miktex":"fitch","version_number":"1.1","version_date":"2026-09-12"},"repo_metadata":{"id":192713847,"uuid":"680541537","full_name":"OpenLogicProject/fitch","owner":"OpenLogicProject","description":"Peter Selinger's LaTeX macros for Fitch style natural deduction","archived":false,"fork":false,"pushed_at":"2026-09-19T19:04:41.000Z","size":113,"stargazers_count":20,"open_issues_count":4,"forks_count":5,"subscribers_count":4,"default_branch":"main","last_synced_at":"2026-10-03T11:25:42.724Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://ctan.org/pkg/fitch","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/OpenLogicProject.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-08-19T15:24:49.000Z","updated_at":"2026-09-14T08:48:03.000Z","dependencies_parsed_at":null,"dependency_job_id":"3bb46f8d-4c76-4088-8250-faf18a3aeb64","html_url":"https://github.com/OpenLogicProject/fitch","commit_stats":null,"previous_names":["openlogicproject/fitch"],"tags_count":6,"template":false,"template_full_name":null,"purl":"pkg:github/OpenLogicProject/fitch","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/OpenLogicProject","download_url":"https://codeload.github.com/OpenLogicProject/fitch/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":343072799,"owners_count":37980767,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-10-03T02:00:07.567Z","response_time":59,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"OpenLogicProject","name":"Open Logic Project","uuid":"3506720","kind":"organization","description":null,"email":"info@openlogicproject.org","website":"http://openlogicproject.org/","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/3506720?v=4","repositories_count":13,"last_synced_at":"2024-03-26T22:48:05.841Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/OpenLogicProject","funding_links":[],"total_stars":1137,"followers":41,"following":0,"created_at":"2022-11-04T15:25:32.213Z","updated_at":"2024-03-26T22:48:05.954Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/OpenLogicProject","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/OpenLogicProject/repositories"},"tags":[{"name":"v1.0","sha":"a23fbfe84a06e48728abe08d57b2c75ab80c054e","kind":"commit","published_at":"2023-12-17T17:51:12.000Z","download_url":"https://codeload.github.com/OpenLogicProject/fitch/tar.gz/v1.0","html_url":"https://github.com/OpenLogicProject/fitch/releases/tag/v1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/OpenLogicProject/fitch@v1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v1.0/manifests"},{"name":"v1.0-beta2","sha":"e43d6c2bd58215a3c1fd9bc03ed5ff87f98e90b9","kind":"commit","published_at":"2023-10-15T21:00:03.000Z","download_url":"https://codeload.github.com/OpenLogicProject/fitch/tar.gz/v1.0-beta2","html_url":"https://github.com/OpenLogicProject/fitch/releases/tag/v1.0-beta2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/OpenLogicProject/fitch@v1.0-beta2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v1.0-beta2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v1.0-beta2/manifests"},{"name":"v1.0-beta","sha":"001ca714a49786dfbe751c0762179bcdb013540b","kind":"commit","published_at":"2023-10-15T19:20:09.000Z","download_url":"https://codeload.github.com/OpenLogicProject/fitch/tar.gz/v1.0-beta","html_url":"https://github.com/OpenLogicProject/fitch/releases/tag/v1.0-beta","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/OpenLogicProject/fitch@v1.0-beta","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v1.0-beta","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v1.0-beta/manifests"},{"name":"v1.0-alpha","sha":"24232d600875089f7fe32f119ca3ff9e0d2dcaaf","kind":"commit","published_at":"2023-09-30T18:57:47.000Z","download_url":"https://codeload.github.com/OpenLogicProject/fitch/tar.gz/v1.0-alpha","html_url":"https://github.com/OpenLogicProject/fitch/releases/tag/v1.0-alpha","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/OpenLogicProject/fitch@v1.0-alpha","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v1.0-alpha","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v1.0-alpha/manifests"},{"name":"v0.6","sha":"a7cb7f21ad6a25f86b9d5a87ca1a9aef80760d2d","kind":"commit","published_at":"2023-09-05T15:23:40.000Z","download_url":"https://codeload.github.com/OpenLogicProject/fitch/tar.gz/v0.6","html_url":"https://github.com/OpenLogicProject/fitch/releases/tag/v0.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/OpenLogicProject/fitch@v0.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v0.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v0.6/manifests"},{"name":"v0.5","sha":"d0db4d10bf70439527f2ae50c2b47dcea9d43bab","kind":"commit","published_at":"2023-09-04T21:26:43.000Z","download_url":"https://codeload.github.com/OpenLogicProject/fitch/tar.gz/v0.5","html_url":"https://github.com/OpenLogicProject/fitch/releases/tag/v0.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/OpenLogicProject/fitch@v0.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v0.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OpenLogicProject%2Ffitch/tags/v0.5/manifests"}]},"repo_metadata_updated_at":"2026-10-03T19:27:31.454Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":0.0,"dependent_packages_count":0.0,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":100},"purl":"pkg:ctan/fitch","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/ctan/fitch","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/ctan/fitch","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/ctan/fitch/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2026-10-03T03:22:16.168Z","issues_count":8,"pull_requests_count":4,"avg_time_to_close_issue":11791860.333333334,"avg_time_to_close_pull_request":15673.0,"issues_closed_count":3,"pull_requests_closed_count":3,"pull_request_authors_count":3,"issue_authors_count":3,"avg_comments_per_issue":1.25,"avg_comments_per_pull_request":2.0,"merged_pull_requests_count":0,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":1,"past_year_pull_requests_count":1,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":1.0,"past_year_avg_comments_per_pull_request":3.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/openlogicproject%2Ffitch/issues","maintainers":[{"login":"rzach","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rzach"}],"active_maintainers":[{"login":"rzach","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rzach"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/ctan.org/packages/fitch/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/ctan.org/packages/fitch/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/ctan.org/packages/fitch/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/ctan.org/packages/fitch/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/ctan.org/packages/fitch/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/ctan.org/packages/fitch/codemeta","maintainers":[{"uuid":"zach","login":null,"name":"Richard Zach","email":null,"url":null,"packages_count":6,"html_url":null,"role":null,"created_at":"2026-02-24T17:12:46.690Z","updated_at":"2026-02-24T17:12:46.690Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/ctan.org/maintainers/zach/packages"}]}