{"id":33967,"name":"predicatesubtypesvercors","description":null,"url":"https://github.com/tychodub/predicatesubtypesvercors","last_synced_at":"2025-09-05T06:02:41.622Z","repository":{"id":248525265,"uuid":"828929950","full_name":"tychodub/PredicateSubtypesVerCors","owner":"tychodub","description":null,"archived":false,"fork":false,"pushed_at":"2025-07-04T14:06:56.000Z","size":562530,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-07-04T15:48:20.992Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tychodub.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2024-07-15T12:13:40.000Z","updated_at":"2025-07-04T14:06:59.000Z","dependencies_parsed_at":"2025-06-15T15:10:24.873Z","dependency_job_id":null,"html_url":"https://github.com/tychodub/PredicateSubtypesVerCors","commit_stats":null,"previous_names":["tychodub/predicatesubtypesvercors"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/tychodub/PredicateSubtypesVerCors","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tychodub%2FPredicateSubtypesVerCors","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tychodub%2FPredicateSubtypesVerCors/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tychodub%2FPredicateSubtypesVerCors/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tychodub%2FPredicateSubtypesVerCors/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tychodub","download_url":"https://codeload.github.com/tychodub/PredicateSubtypesVerCors/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tychodub%2FPredicateSubtypesVerCors/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273718340,"owners_count":25155489,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"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":{"login":"tychodub","name":null,"uuid":"93142605","kind":"user","description":null,"email":"","website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/93142605?v=4","repositories_count":1,"last_synced_at":"2024-07-15T14:41:01.435Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/tychodub","funding_links":[],"total_stars":0,"followers":0,"following":0,"created_at":"2024-07-15T14:41:01.577Z","updated_at":"2024-07-15T14:41:01.577Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tychodub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tychodub/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"tychodub/predicatesubtypesvercors","html_url":"https://github.com/tychodub/predicatesubtypesvercors","last_synced_at":null,"status":null,"issues_count":null,"pull_requests_count":null,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":null,"issues_closed_count":null,"pull_requests_closed_count":null,"pull_request_authors_count":null,"issue_authors_count":null,"avg_comments_per_issue":null,"avg_comments_per_pull_request":null,"merged_pull_requests_count":null,"bot_issues_count":null,"bot_pull_requests_count":null,"past_year_issues_count":null,"past_year_pull_requests_count":null,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":null,"past_year_pull_requests_closed_count":null,"past_year_pull_request_authors_count":null,"past_year_issue_authors_count":null,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":null,"past_year_bot_pull_requests_count":null,"past_year_merged_pull_requests_count":null,"created_at":"2025-09-05T06:01:57.862Z","updated_at":"2025-09-05T06:01:57.862Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tychodub%2Fpredicatesubtypesvercors","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tychodub%2Fpredicatesubtypesvercors/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{},"pull_request_author_associations_count":{},"issue_authors":{},"pull_request_authors":{},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10087320,"issues_count":31306968,"pull_requests_count":96469683,"authors_count":10696025,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{},"past_year_pull_request_author_associations_count":{},"past_year_issue_authors":{},"past_year_pull_request_authors":{},"maintainers":[],"active_maintainers":[]},"events":{"total":{"PushEvent":8},"last_year":{"PushEvent":8}},"keywords":[],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/build-wiki-pdf.yml","sha":null,"kind":"manifest","created_at":"2024-07-15T14:54:56.170Z","updated_at":"2024-07-15T14:54:56.170Z","repository_link":"https://github.com/tychodub/PredicateSubtypesVerCors/blob/master/.github/workflows/build-wiki-pdf.yml","dependencies":[{"id":19120037426,"package_name":"technote-space/auto-cancel-redundant-workflow","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":19120037428,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":19120037429,"package_name":"ncipollo/release-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/release.yml","sha":null,"kind":"manifest","created_at":"2024-07-15T14:54:57.515Z","updated_at":"2024-07-15T14:54:57.515Z","repository_link":"https://github.com/tychodub/PredicateSubtypesVerCors/blob/master/.github/workflows/release.yml","dependencies":[{"id":19120037430,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":19120037431,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":19120037432,"package_name":"liudonghua123/delete-release-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":19120038127,"package_name":"softprops/action-gh-release","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/scalatest.yml","sha":null,"kind":"manifest","created_at":"2024-07-15T14:55:00.053Z","updated_at":"2024-07-15T14:55:00.053Z","repository_link":"https://github.com/tychodub/PredicateSubtypesVerCors/blob/master/.github/workflows/scalatest.yml","dependencies":[{"id":19120038128,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":19120038129,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":19120038130,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":19120038131,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":19120038132,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":19120038133,"package_name":"KyleMayes/install-llvm-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":19120038134,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":19120038135,"package_name":"dorny/test-reporter","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"hackage","filepath":"util/SplitVerify/SplitVerify.cabal","sha":null,"kind":"manifest","created_at":"2024-07-15T14:55:00.066Z","updated_at":"2024-07-15T14:55:00.066Z","repository_link":"https://github.com/tychodub/PredicateSubtypesVerCors/blob/master/util/SplitVerify/SplitVerify.cabal","dependencies":[{"id":19120038136,"package_name":"base","ecosystem":"hackage","requirements":"\u003e=4.12.0.0 \u0026\u0026 \u003c4.13","direct":true,"kind":"runtime","optional":false},{"id":19120038137,"package_name":"directory","ecosystem":"hackage","requirements":"\u003e=1.3.3.0 \u0026\u0026 \u003c1.4","direct":true,"kind":"runtime","optional":false},{"id":19120038925,"package_name":"aeson","ecosystem":"hackage","requirements":"\u003e=1.4.2.0 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":19120039494,"package_name":"rio","ecosystem":"hackage","requirements":"\u003e=0.1.12.0 \u0026\u0026 \u003c0.2","direct":true,"kind":"runtime","optional":false},{"id":19120040513,"package_name":"filepath","ecosystem":"hackage","requirements":"\u003e=1.4.2.1 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":19120040514,"package_name":"unordered-containers","ecosystem":"hackage","requirements":"\u003e=0.2.10.0 \u0026\u0026 \u003c0.3","direct":true,"kind":"runtime","optional":false},{"id":19120040515,"package_name":"bytestring","ecosystem":"hackage","requirements":"\u003e=0.10.8.2 \u0026\u0026 \u003c0.11","direct":true,"kind":"runtime","optional":false},{"id":19120040516,"package_name":"time","ecosystem":"hackage","requirements":"\u003e=1.8.0.2 \u0026\u0026 \u003c1.9 || \u003e=1.9.3 \u0026\u0026 \u003c1.10","direct":true,"kind":"runtime","optional":false},{"id":19120040517,"package_name":"boomerang","ecosystem":"hackage","requirements":"\u003e=1.4.5.6 \u0026\u0026 \u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":19120040518,"package_name":"hashable","ecosystem":"hackage","requirements":"\u003e=1.2.7.0 \u0026\u0026 \u003c1.3","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"maven","filepath":"examples/publications/2023/JavaBIP/casinoAdjusted/pom.xml","sha":null,"kind":"manifest","created_at":"2024-07-15T14:55:06.469Z","updated_at":"2024-07-15T14:55:06.469Z","repository_link":"https://github.com/tychodub/PredicateSubtypesVerCors/blob/master/examples/publications/2023/JavaBIP/casinoAdjusted/pom.xml","dependencies":[{"id":19120040519,"package_name":"com.typesafe.akka:akka-actor_2.11","ecosystem":"maven","requirements":"2.5.32","direct":true,"kind":"runtime","optional":false},{"id":19120040522,"package_name":"org.javabip:org.javabip.api","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040545,"package_name":"org.javabip:org.javabip.glue","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040546,"package_name":"org.javabip:org.javabip.engine.factory","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040547,"package_name":"org.antlr:antlr4","ecosystem":"maven","requirements":"4.0","direct":true,"kind":"runtime","optional":false},{"id":19120040548,"package_name":"org.slf4j:slf4j-api","ecosystem":"maven","requirements":"1.5.11","direct":true,"kind":"runtime","optional":false},{"id":19120040549,"package_name":"org.slf4j:slf4j-log4j12","ecosystem":"maven","requirements":"1.5.11","direct":true,"kind":"runtime","optional":false},{"id":19120040550,"package_name":"log4j:log4j","ecosystem":"maven","requirements":"1.2.16","direct":true,"kind":"runtime","optional":false},{"id":19120040551,"package_name":"org.slf4j:slf4j-simple","ecosystem":"maven","requirements":"2.0.6","direct":true,"kind":"runtime","optional":false},{"id":19120040552,"package_name":"junit:junit","ecosystem":"maven","requirements":"4.13.1","direct":true,"kind":"runtime","optional":false},{"id":19120040553,"package_name":"org.javabip:org.javabip.executor","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040554,"package_name":"org.springframework:spring-beans","ecosystem":"maven","requirements":"5.3.18","direct":true,"kind":"runtime","optional":false},{"id":19120040555,"package_name":"org.osgi:org.osgi.core","ecosystem":"maven","requirements":"4.2.0","direct":true,"kind":"runtime","optional":false},{"id":19120040556,"package_name":"com.typesafe.akka:akka-osgi_2.11","ecosystem":"maven","requirements":"2.5.31","direct":true,"kind":"runtime","optional":false},{"id":19120040570,"package_name":"org.javabip:org.javabip.spec.examples","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040571,"package_name":"org.javabip:javabdd","ecosystem":"maven","requirements":"1.0b2","direct":true,"kind":"runtime","optional":false},{"id":19120040572,"package_name":"org.javabip:org.javabip.engine.api","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040573,"package_name":"org.javabip:org.javabip.engine.coordinator","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040574,"package_name":"org.javabip:org.javabip.engine.core","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040575,"package_name":"org.openjfx:javafx-base","ecosystem":"maven","requirements":"17-ea+11","direct":true,"kind":"runtime","optional":false},{"id":19120040576,"package_name":"org.antlr:antlr4-runtime","ecosystem":"maven","requirements":"4.9.2","direct":true,"kind":"compile","optional":false},{"id":19120040581,"package_name":"org.apache.logging.log4j:log4j-core","ecosystem":"maven","requirements":"2.18.0","direct":true,"kind":"runtime","optional":false},{"id":19120040582,"package_name":"com.vaadin.external.google:android-json","ecosystem":"maven","requirements":"0.0.20131108.vaadin1","direct":true,"kind":"runtime","optional":false},{"id":19120040583,"package_name":"com.googlecode.json-simple:json-simple","ecosystem":"maven","requirements":"1.1.1","direct":true,"kind":"runtime","optional":false},{"id":19120040584,"package_name":"jakarta.xml.bind:jakarta.xml.bind-api","ecosystem":"maven","requirements":"4.0.0","direct":true,"kind":"runtime","optional":false},{"id":19120040585,"package_name":"com.sun.xml.bind:jaxb-impl","ecosystem":"maven","requirements":"4.0.1","direct":true,"kind":"runtime","optional":false},{"id":19120040586,"package_name":"javax.xml.bind:jaxb-api","ecosystem":"maven","requirements":"2.3.1","direct":true,"kind":"runtime","optional":false},{"id":19120040587,"package_name":"javax.annotation:javax.annotation-api","ecosystem":"maven","requirements":"1.3.2","direct":true,"kind":"runtime","optional":false},{"id":19120040588,"package_name":"com.google.code.gson:gson","ecosystem":"maven","requirements":"2.8.7","direct":true,"kind":"runtime","optional":false},{"id":19120040589,"package_name":"org.apache.commons:commons-lang3","ecosystem":"maven","requirements":"3.12.0","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"maven","filepath":"examples/publications/2023/JavaBIP/casinoBroken/pom.xml","sha":null,"kind":"manifest","created_at":"2024-07-15T14:55:09.170Z","updated_at":"2024-07-15T14:55:09.170Z","repository_link":"https://github.com/tychodub/PredicateSubtypesVerCors/blob/master/examples/publications/2023/JavaBIP/casinoBroken/pom.xml","dependencies":[{"id":19120040592,"package_name":"com.typesafe.akka:akka-actor_2.11","ecosystem":"maven","requirements":"2.5.32","direct":true,"kind":"runtime","optional":false},{"id":19120040593,"package_name":"org.javabip:org.javabip.api","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040594,"package_name":"org.javabip:org.javabip.glue","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040595,"package_name":"org.javabip:org.javabip.engine.factory","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040596,"package_name":"org.antlr:antlr4","ecosystem":"maven","requirements":"4.0","direct":true,"kind":"runtime","optional":false},{"id":19120040597,"package_name":"org.slf4j:slf4j-api","ecosystem":"maven","requirements":"1.5.11","direct":true,"kind":"runtime","optional":false},{"id":19120040598,"package_name":"org.slf4j:slf4j-log4j12","ecosystem":"maven","requirements":"1.5.11","direct":true,"kind":"runtime","optional":false},{"id":19120040599,"package_name":"log4j:log4j","ecosystem":"maven","requirements":"1.2.16","direct":true,"kind":"runtime","optional":false},{"id":19120040600,"package_name":"org.slf4j:slf4j-simple","ecosystem":"maven","requirements":"2.0.6","direct":true,"kind":"runtime","optional":false},{"id":19120040601,"package_name":"junit:junit","ecosystem":"maven","requirements":"4.13.1","direct":true,"kind":"runtime","optional":false},{"id":19120040602,"package_name":"org.javabip:org.javabip.executor","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040603,"package_name":"org.springframework:spring-beans","ecosystem":"maven","requirements":"5.3.18","direct":true,"kind":"runtime","optional":false},{"id":19120040604,"package_name":"org.osgi:org.osgi.core","ecosystem":"maven","requirements":"4.2.0","direct":true,"kind":"runtime","optional":false},{"id":19120040605,"package_name":"com.typesafe.akka:akka-osgi_2.11","ecosystem":"maven","requirements":"2.5.31","direct":true,"kind":"runtime","optional":false},{"id":19120040606,"package_name":"org.javabip:org.javabip.spec.examples","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040607,"package_name":"org.javabip:javabdd","ecosystem":"maven","requirements":"1.0b2","direct":true,"kind":"runtime","optional":false},{"id":19120040608,"package_name":"org.javabip:org.javabip.engine.api","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040609,"package_name":"org.javabip:org.javabip.engine.coordinator","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040610,"package_name":"org.javabip:org.javabip.engine.core","ecosystem":"maven","requirements":"0.1.0-SNAPSHOT","direct":true,"kind":"runtime","optional":false},{"id":19120040611,"package_name":"org.openjfx:javafx-base","ecosystem":"maven","requirements":"17-ea+11","direct":true,"kind":"runtime","optional":false},{"id":19120040612,"package_name":"org.antlr:antlr4-runtime","ecosystem":"maven","requirements":"4.9.2","direct":true,"kind":"compile","optional":false},{"id":19120040613,"package_name":"org.apache.logging.log4j:log4j-core","ecosystem":"maven","requirements":"2.18.0","direct":true,"kind":"runtime","optional":false},{"id":19120040614,"package_name":"com.vaadin.external.google:android-json","ecosystem":"maven","requirements":"0.0.20131108.vaadin1","direct":true,"kind":"runtime","optional":false},{"id":19120040615,"package_name":"com.googlecode.json-simple:json-simple","ecosystem":"maven","requirements":"1.1.1","direct":true,"kind":"runtime","optional":false},{"id":19120040616,"package_name":"jakarta.xml.bind:jakarta.xml.bind-api","ecosystem":"maven","requirements":"4.0.0","direct":true,"kind":"runtime","optional":false},{"id":19120040617,"package_name":"com.sun.xml.bind:jaxb-impl","ecosystem":"maven","requirements":"4.0.1","direct":true,"kind":"runtime","optional":false},{"id":19120040618,"package_name":"javax.xml.bind:jaxb-api","ecosystem":"maven","requirements":"2.3.1","direct":true,"kind":"runtime","optional":false},{"id":19120040619,"package_name":"javax.annotation:javax.annotation-api","ecosystem":"maven","requirements":"1.3.2","direct":true,"kind":"runtime","optional":false},{"id":19120040620,"package_name":"com.google.code.gson:gson","ecosystem":"maven","requirements":"2.8.7","direct":true,"kind":"runtime","optional":false},{"id":19120040621,"package_name":"org.apache.commons:commons-lang3","ecosystem":"maven","requirements":"3.12.0","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"util/wiki/requirements.txt","sha":null,"kind":"manifest","created_at":"2024-07-15T14:55:09.293Z","updated_at":"2024-07-15T14:55:09.293Z","repository_link":"https://github.com/tychodub/PredicateSubtypesVerCors/blob/master/util/wiki/requirements.txt","dependencies":[{"id":19120040627,"package_name":"pypandoc_binary","ecosystem":"pypi","requirements":"==1.12","direct":true,"kind":"runtime","optional":false}]}],"score":null,"created_at":"2025-09-04T15:51:07.312Z","updated_at":"2025-10-07T08:14:15.745Z","avatar_url":"https://github.com/tychodub.png","language":"Scala","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/33967","html_url":"https://science.ecosyste.ms/projects/33967"}