Skip to content

Commit

Permalink
Merge pull request #3300 from proux01/rocqide_dev
Browse files Browse the repository at this point in the history
[core-dev] Renaming coqide -> rocqide
proux01 authored Jan 17, 2025
2 parents 2e01e4d + 044833e commit e752739
Showing 1 changed file with 7 additions and 9 deletions.
Original file line number Diff line number Diff line change
@@ -1,27 +1,27 @@
opam-version: "2.0"
synopsis: "The Coq Proof Assistant --- GTK3 IDE"
synopsis: "The Rocq Prover --- GTK3 IDE"
description: """
Coq is a formal proof management system. It provides
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides
a formal language to write mathematical definitions, executable
algorithms and theorems together with an environment for
semi-interactive development of machine-checked proofs.

This package provides the CoqIDE, a graphical user interface for the
This package provides the RocqIDE, a graphical user interface for the
development of interactive proofs."""
maintainer: ["The Coq development team <[email protected]>"]
authors: ["The Coq development team, INRIA, CNRS, and contributors"]
maintainer: ["The Rocq development team <[email protected]>"]
authors: ["The Rocq development team, INRIA, CNRS, and contributors"]
license: "LGPL-2.1-only"
homepage: "https://coq.inria.fr/"
doc: "https://coq.github.io/doc/"
bug-reports: "https://github.com/coq/coq/issues"
depends: [
"dune" {>= "2.9"}
"dune" {>= "3.8"}
"ocamlfind" {build}
"conf-findutils" {build}
"conf-adwaita-icon-theme"
"coqide-server" {= version}
"cairo2" {>= "0.6.4"}
"lablgtk3-sourceview3" {>= "3.1.2"}
"lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os != "windows")}
"odoc" {with-doc}
]
build: [
@@ -33,12 +33,10 @@ build: [
name
"-j"
jobs
"--promote-install-files=false"
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
["dune" "install" "-p" name "--create-install-files" name]
]
dev-repo: "git+https://github.com/coq/coq.git"

0 comments on commit e752739

Please sign in to comment.