Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

coq-ide-server-debuginfo-8.16.1-1.mga9 RPM for aarch64

From Mageia Cauldron for aarch64 / media / debug / core / release

Name: coq-ide-server-debuginfo Distribution: Mageia
Version: 8.16.1 Vendor: Mageia.Org
Release: 1.mga9 Build date: Sat Jan 7 18:14:25 2023
Group: Development/Debug Build host: localhost
Size: 126178 Source RPM: coq-8.16.1-1.mga9.src.rpm
Packager: papoteur <papoteur>
Url: https://coq.inria.fr
Summary: Debug information for package coq-ide-server
 
This package provides debug information for package coq-ide-server.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL-2.1-only AND MIT AND BSD-3-Clause

Changelog

* Sat Jan 07 2023 papoteur <papoteur> 8.16.1-1.mga9
  + Revision: 1931087
  - Add ide-server
  - fix file list
  - new 8.16.1
  - new 8.16.0
  + neoclust <neoclust>
  - Rebuild against new ocaml
  + tv <tv>
  - Updates BRs
  - Fix install
  + pterjan <pterjan>
  - Rebuild for new ocaml-lablgtk3
* Fri May 20 2022 pterjan <pterjan> 8.13.2-3.mga9
  + Revision: 1859409
  - Rebuild for OCaml 4.14
* Fri Oct 15 2021 tv <tv> 8.13.2-2.mga9
  + Revision: 1751562
  - Rebuild for ocaml 4.13.1
* Sun Sep 05 2021 wally <wally> 8.13.2-1.mga9
  + Revision: 1744351
  - new version 8.13.2
  - drop ancient tutorial docs
* Fri Mar 26 2021 tv <tv> 8.13.1-3.mga9
  + Revision: 1710447
  - Disable doc (broken)
  - rebuild for ocaml-4.2-12
  + neoclust <neoclust>
  - Rebuild against new ocaml stack
* Mon Jan 11 2021 pterjan <pterjan> 8.11.0-4.mga8
  + Revision: 1671200
  - Exclude more private modules
  - Also exclude ocamlx requires when we exclude ocaml ones
* Sun Jan 10 2021 pterjan <pterjan> 8.11.0-2.mga8
  + Revision: 1670853
  - Rebuild to generate ocamlx provides
  + tv <tv>
  - remove one BR workaround which is now fixed

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/4f/f8a7af40da3915fc68d7b3dea3101403a064d0
/usr/lib/debug/.build-id/4f/f8a7af40da3915fc68d7b3dea3101403a064d0.debug
/usr/lib/debug/.build-id/97/72b285574c3c132503105754f599893ab65d1a
/usr/lib/debug/.build-id/97/72b285574c3c132503105754f599893ab65d1a.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/coqide-server
/usr/lib/debug/usr/lib64/ocaml/coqide-server/core
/usr/lib/debug/usr/lib64/ocaml/coqide-server/core/core.cmxs-8.16.1-1.mga9.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coqide-server/protocol
/usr/lib/debug/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs-8.16.1-1.mga9.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Jan 20 09:27:07 2025