agda / package-index Goto Github PK

A package Index for agda libraries

package-index's Introduction

Package Index for Agda Libraries

This repository is an index of libraries for the package manager Agda-Pkg. I do the indexing manually at the moment, but this can change in the future. The number of libraries here is still small, and the libraries releases are not very often.

This is the structure of a library in this index:

└── standard-library
  ├── url
  └── versions
    ├── v1.4
    │ ├── sha1
    │ └── standard-library.agda-lib
    └── v0.5
      ├── sha1
      └── standard-library.agda-lib

This index is used by Agda-Pkg to install automatically the library you want.

$ pip3 install agda-pkg
$ apkg init
$ apkg --help

package-index's People

Contributors

Stargazers

Watchers

Forkers

alan-j-hu isabella232

package-index's Issues

Standard library 1.5 & reverse dependencies released

For the standard library, version 1.5 has been released. Nixpkgs has recently updated it, and its reverse dependencies: NixOS/nixpkgs#110830 Probably package-index should as well.

Integrate with nixpkgs

We're currently improving the Agda infrastructure on nixpkgs. In the long run, we want to be able to reliably build interdependent Agda libraries in a reproducible way with nix. Currently the sources and revisions/versions are hardcoded in nix. There is some discussion whether and how to incorporate package-index with nixpkgs here: NixOS/nixpkgs#87903

$ apkg init     
Indexing libraries from https://github.com/agda/package-index.git
  Current version of the index: 232ddbdffdb21093529c03be71140b2c91353447
Traceback (most recent call last):
  File "/home/soimort/.local/bin/apkg", line 11, in <module>
    load_entry_point('agda-pkg==0.1.45', 'console_scripts', 'apkg')()
  File "/home/soimort/.local/lib/python3.8/site-packages/click/core.py", line 764, in __call__
    return self.main(*args, **kwargs)
  File "/home/soimort/.local/lib/python3.8/site-packages/click/core.py", line 717, in main
    rv = self.invoke(ctx)
  File "/home/soimort/.local/lib/python3.8/site-packages/click/core.py", line 1137, in invoke
    return _process_result(sub_ctx.command.invoke(sub_ctx))
  File "/home/soimort/.local/lib/python3.8/site-packages/click/core.py", line 956, in invoke
    return ctx.invoke(self.callback, **ctx.params)
  File "/home/soimort/.local/lib/python3.8/site-packages/click/core.py", line 555, in invoke
    return callback(*args, **kwargs)
  File "/home/soimort/.local/lib/python3.8/site-packages/apkg/commands/init.py", line 95, in init
    info = version.readInfoFromLibFile()
  File "/home/soimort/.local/lib/python3.8/site-packages/apkg/service/database.py", line 276, in readInfoFromLibFile
    return readLibFile(self.getLibFilePath())
  File "/home/soimort/.local/lib/python3.8/site-packages/apkg/service/database.py", line 237, in getLibFilePath
    raise ValueError(" No file descriptor for the version {} of {}."
ValueError:  No file descriptor for the version c8c2600 of FiniteSets.

Obviously it was looking for a file under package-index/src/FiniteSets/versions/c8c2600/FiniteSets.agda-lib, which doesn't exist. (the actual filename is finiteSets.agda-lib.)

agda / package-index Goto Github PK

package-index's Introduction

Package Index for Agda Libraries

package-index's People

Contributors

Stargazers

Watchers

Forkers

package-index's Issues

Standard library 1.5 & reverse dependencies released

Integrate with nixpkgs

travis integration

Error tagging new release

Update the standard library version to 1.0.1

script to check the integrity of each package

git pull origin master of https://github.com/apkgbot/agda-packages

script to maintain the health of the links

ValueError: No file descriptor for the version c8c2600 of FiniteSets.

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent