Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ocsigen #2930

Closed
wants to merge 19 commits into from
Closed

Ocsigen #2930

wants to merge 19 commits into from

Conversation

FlorentBecker
Copy link
Contributor

Adds a bunch of derivations in ocaml-land to get a working eliom framework (http://ocsigen.org). The ocsigenserver webserver is not nixosified yet.

@FlorentBecker
Copy link
Contributor Author

This needs to be rebased over #2923

@FlorentBecker
Copy link
Contributor Author

done (though it's now rebased over #3330 instead)

@vcunat
Copy link
Member

vcunat commented Aug 12, 2014

  • It would be nicer if the new meta.license records were from stdenv.lib.licenses (and more precise, as in the case of "LGPL").
  • ocsigen-deriving is missing version (presumably 0.6.2 by the tag).

Otherwise it seems fine to me.

@7c6f434c
Copy link
Member

7c6f434c commented Sep 3, 2014

@FlorentBecker: which commits from this PR are not yet applied? I tried to do git am and found that most are.

@FlorentBecker
Copy link
Contributor Author

They are applied until 43249a5, ocaml-calendar and onwards are new.

@7c6f434c
Copy link
Member

7c6f434c commented Sep 6, 2014

Merged most of this. Please add meta for eliom and ocaml-ipaddr. Please recheck ocsigenserver license.

@7c6f434c
Copy link
Member

@FlorentBecker So, is the ocsigenserver license correct?

@FlorentBecker
Copy link
Contributor Author

yes it is correct.

@7c6f434c 7c6f434c closed this Sep 18, 2014
@7c6f434c
Copy link
Member

I think meta for eliom can be added separately…

@FlorentBecker FlorentBecker deleted the ocsigen branch October 20, 2016 08:01
@Janik-Haag Janik-Haag added the 12. first-time contribution This PR is the author's first one; please be gentle! label Jun 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
9.needs: reporter feedback This issue needs the person who filed it to respond 12. first-time contribution This PR is the author's first one; please be gentle!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants