8000 Issue of the version in npm package · Issue #381 · jscoq/jscoq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Issue of the version in npm package #381
New issue
New issue
Closed
Closed
Issue of the version in npm package#381
Labels
kind: questionpart: sdk
@0311xuyang

Description

@0311xuyang
0311xuyang
opened on May 28, 2025

Hi, I'm using the JsCoq package from npm, https://www.npmjs.com/package/jscoq, which is version 8.16.0/81600
I'm trying to build new coq library, and got error message like makes inconsistent assumptions over library Coq.Init.Ltac

Does anyone have the correct building environment docker image?
I've tried the jscoq/jscoq:v8.16-sdk and coqc 8.16 in 32/64 linux.

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind: questionpart: sdk

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0