Hi Jonathan -

I'm curious: which distribution of BaseX are you using? The main BaseX.zip has the functx library already in ${basex}/repo.

I did though do a quick test (below) and keeping https in the URL made a difference. I'm not quite sure why. 

Hope that's helpful.

Best,

Bridger

```

> REPO INSTALL https://files.basex.org/modules/expath/functx-1.0.xar
Package 'https://files.basex.org/modules/expath/functx-1.0.xar' replaced in 1158.39 ms.
> REPO
Stopped at , 1/5:
Syntax: REPO [DELETE|INSTALL|LIST]
  Install, delete or list packages.

Installs, deletes or lists packages from the repository.
- DELETE [name|dir]:
  deletes the package with name [name] or directory [dir]
- INSTALL [path]:
  installs package with path [path]
- LIST:
  lists all installed packages
> REPO LIST
Name                   Version  Type    Path                    
---------------------------------------------------------------
http://www.functx.com  1.0      EXPath  http-www.functx.com-1.0  

1 package(s).
> REPO DELETE http://www.functx.com
Package 'http://www.functx.com' deleted.
> REPO LIST
Name  Version  Type  Path  
-------------------------

0 package(s).
> REPO INSTALL http://files.basex.org/modules/expath/functx-1.0.xar
Stopped at , 1/66:
[repo:parse] functx-1.0.xar: Resource "expath-pkg.xml" not found..
>
```